Giters

gitpod-io / gitpod

The developer platform for on-demand cloud development environments to create software faster and more securely.

Home Page:https://www.gitpod.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Support pushing to PR branches

aaronliu0130 opened this issue · comments

commented

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

commented

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.

commented

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?

commented

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

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

commented

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.