-
Notifications
You must be signed in to change notification settings - Fork 14
Require status checks to pass before merging (for auto-merge, no policy change) #148
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
I agree with this plan. Just to clarify things for people, like me, who have never used the feature, it's not going to auto-merge PRs that have not been reviewed, just because CI passed. It's a feature similar to the long requested Besides, I think it's good to start activating branch protection rules, independently of the auto-merge feature. I'm fine with using the alls-green action. The main issue that I see with this plan is that you still need to manually list all the other jobs in the all-greens dependencies, and this has to be done in a workflow file which is otherwise auto-generated. Perhaps, a more pleasant strategy would be to add this all-greens job (or equivalent) directly into the Nix Toolbox code for generating these workflows: https://github.com/rocq-community/coq-nix-toolbox/blob/52aaa743836510268bf94deb898de0f8bd0501be/action.nix#L150 @andres-erbsen I've given you admin permissions to the repository. In the future, I would like to have a dedicated stdlib-admins team, instead of managing these permissions by user. |
Indeed, I had missed that alls-green also requires maintaining an exhaustive list. I am now confused why it exists at all... The Nix-toolbox-based approach seems promising, but I think I would have a hard time figuring out how to implement that. Looking around some more, I found https://github.com/apps/mergery . Though it looks somewhat rigid and opaque, and I can't find the source anywhere... |
Action files are generated from the action.nix file. I guess you can add your "all-greens" job to the list on line |
I would like to use the "Enable auto-merge" feature of GitHub, to mark PRs to be merged as soon as CI passes. I have used it extensively in my own repositories and found it to be reliable, and a good way to reduce friction for contributing. However, this feature is limited to branches with a branch-protection rule preventing merging without a passed check:
Further, branch protection rules must explicitly enumerate checks that pass, which seems impractical given the current fine-grained check granularity. If that granularity is to stay, I believe the actual configuration would have to be as follows:
I would be happy to try hand at configuring this myself if I had the requisite permissions. If this is not desired, I'd be happy to help out.
The text was updated successfully, but these errors were encountered: