Open surchs opened 2 months ago
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
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 sequence