-
Notifications
You must be signed in to change notification settings - Fork 0
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
Turn on merge queues #143
Comments
I think I misunderstood this partly. What I am looking for is more "auto-merging": https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/incorporating-changes-from-a-pull-request/automatically-merging-a-pull-request Merge queues are also nice, but they address a problem that we don't have yet: how to merge a lot of PRs one after the other, if the CI for each PR takes a lot of time. I think we can still enable merge queues if we want to (we now have them in https://github.com/neurobagel/react-bagel) but this issue should be about whether we want auto-merges turned on. For us auto-merge would mean:
For external contributors it would mean:
|
Some things we've learned already:
So for these things, you'd still want a merge queue |
Shared workflows we want to run on merge queues:
Repo specific workflows we want to run on merge queues
|
moving this issue to tracked until we address the following workflows issues:
Addressing these issues will also implicitly resolve the merge_queue issue but by making one change instead of 4 or 5 |
Closing as we don't (yet) have very long running checks |
The overhead of dependabot PRs is mainly having to wait for them to go back to green after the previous one merged.
Github auto-merge can help, because it will automatically merge PRs once all requirements are met.
Tasks
merge_group
event triggerSomething to look into:
edit:
old and incomplete view:
That's what merge queues are for (and hopefully that works here to): https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queueSo let's turn them on and let GitHub manage the merge sequenceThe text was updated successfully, but these errors were encountered: