search

gitpod-io / gitpod

The developer platform for on-demand cloud development environments to create software faster and more securely.
https://www.gitpod.io
GNU Affero General Public License v3.0
12.6k stars 1.2k forks source link

Support pushing to PR branches #19384

Open aaronliu0130 opened 6 months ago

aaronliu0130 commented 6 months ago

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[bot] commented 2 months ago

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 commented 2 months ago

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

axonasif commented 2 months ago

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 commented 2 months ago

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

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

axonasif commented 2 months ago

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.