Allow edits from maintainers in PR

[rugk]

It would be nice to introduce the same feature that GitHub now has:

As far as I understand it this allows maintainers of the main repo, where you submit a PR to, to push to your PR. So they can now improve your PR without having to wait that the creator of the PR fixes the issues.

---

upstream issue: gogs/gogs#3762

---

Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.

[bkcsoft]

This might be a bit hard at the moment, since we now only map HasAccess(user, repo) and not HasAccess(user, repo, branch)... And we would have to check which branches are being pushed, which might lead to security issues 🙁

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs during the next 2 weeks. Thank you for your contributions.

[wxiaoguang]

• Add "Allow edits from maintainer" feature #18002