Hi!

Is there a way to allow project maintainers to edit pull requests? (=Automatically give rights to push to the source branch.)

The only option I see now is to give the maintainer access to the fork or its branch manually from the fork's settings (this needs to be done by the pull request author). Or create a secondary pull request.

The very same feature can be found e.g. on GitHub as "Allow edits and access to secrets by maintainers". (See the attached screenshots. It's enabled when opening a pull request or in the right-side menu of the existing one. At the footer you can see instructions on where to push the new changes.)

Context/use-case:

When working on Packit, we create pull requests in Fedora dist-git for our users. Sometimes, some human action must be taken before emerging the pull request (e.g. a new dependency must be added to the spec file). It would be nice to allow the maintainer to push the change directly to the original pull request instead of creating a new pull request from the maintainer's fork.

For now, we would need to give -- and maintain -- access to the project/branch of the Packit's fork...

Ideally, it would be better to leave the git permissions to the git-forge itself and don't try to maintain the permissions on top of it. And also, this is nothing Packit-specific and might be handy for everyone.

Thanks for considering this and/or any suggestion on how we can behave in a better way.