gitpod icon indicating copy to clipboard operation
gitpod copied to clipboard
verified publisher icon gitpod-io

Support pushing to PR branches

Open aaronliu0130 opened this issue 1 year ago • 6 comments

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

aaronliu0130 avatar Feb 02 '24 02:02 aaronliu0130

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.

github-actions[bot] avatar May 23 '24 15:05 github-actions[bot]

Hunger games gif showing Snow saying "We salute your courage and your sacrifice."

aaronliu0130 avatar May 23 '24 19:05 aaronliu0130

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?

axonasif avatar May 24 '24 09:05 axonasif

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

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

aaronliu0130 avatar May 24 '24 12:05 aaronliu0130

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.

axonasif avatar May 24 '24 13:05 axonasif