GitHub recently added a new feature: Pull request merge queue (public beta)
– [Managing a merge queue - GitHub Docs]
Once a pull request has passed all of the required branch protection checks, a user with write access to the repository can add that pull request to a merge queue. […] The merge queue creates temporary branches with a special prefix to validate pull request changes. The changes in the pull request are then grouped into amerge_group
with the latest version of thebase_branch
as well as changes ahead of it in the queue. GitHub will merge all these changes intobase_branch
once the checks required by the branch protections ofbase_branch
pass.
@stefanv brought it up in a meeting and I concur: I think it would be useful to have and might offer some convenience for the “I’ll merge once the CI is green” cases. I’ll wait a week for input and enable the setting if nobody voices any concerns.