-
-
Notifications
You must be signed in to change notification settings - Fork 5.7k
No button to merge PR #3668
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Comments
Is master branch protected? |
Yes, and develop. But from direct commits. Not PRs |
Do you in whitelist on protected branch? |
No, I didn't add anything in the whitelist. |
Yes. #3544 ask you have to add the people who has permission to merge pull request, not repo writers any more. |
@lunny this should probably be changed if noone is specified in whitelist than everyone can merge, otherwise it will break a lot of instances |
We need a migration? |
@lunny no just add if non are defined than everyone with write rights can merge |
@lafriks but that's conflict with the push policy. |
@lunny kind of, direct push is still not possible. GitHub also allow merge to protected branches for writers but does not allow direct pushes. |
Also it is currently not possible to set that users can merge but not push directly. As if adding user to whitelist will actually make branch protection a bit useless... I think we have made it worse with #3544 than it was before... |
What would be a good solution? Adding a second whitelist for users which are allowed to merge but not to push directly to the branch? And perhaps allowing everyone with write access to merge if both whitelists are empty? For my workflow it is important that some users have write access to the repository but don't have any chance to push or merge into the protected branches. |
@Chri-s @lafriks add a whitelist to set who can merge pull request. And then the old whitelist is only who can push directly. The new whitelist is optional, if it is not checked, then the people who can push directly could merge pull request like currently master version. And it's default not checked for compitable. So that both your requirement could be resolved. |
[x]
):Description
Cannot merge PR anymore!
I pulled the latest docker image earlier today.
Now, when I open a PR in any private repo, there's no button to merge it! Am I missing something?
Seems like it's related to this commit a2a49c9 ?
Screenshots
The text was updated successfully, but these errors were encountered: