Support pushing to PR branches

[aaronliu0130]

Is your feature request related to a problem? Please describe

Most repositories allow maintainers to push to the branches used in the pull request. However, gitpod doesn't allow us to give it this permission, and I have to push to my own branch, clone the branch locally, and then push to the PR branch.

Describe the behaviour you'd like

Add authorization options to push to branches in a PR

[github-actions]

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

[aaronliu0130]

[axonasif]

Hi @aaronliu0130, do you have a link to a PR that could be taken as an example here?

Also, what do you see on https://gitpod.io/user/integrations > GitHub > Edit Permissions modal?

[aaronliu0130]

Create any PR with an alt account and check "allow edits by maintainers".

I have everything except read:user and read:org checked.

[axonasif]

Create any PR with an alt account and check "allow edits by maintainers".

@aaronliu0130 yes, this is supposed to work. I'll check, thank you.

I have everything except read:user and read:org checked.

Can you tick them? That could be a reason.