This should allow us to begin adopting GitHub Merge Queues so that maintainers can hit "merge when ready" on every approved PR and CI will sort itself out to get all those things merged.
Checklist
[ ] Required by CI: Code is auto formatted using clang-format
[ ] Extend the tutorials / documentation reference
[ ] Document API changes relevant to the user in the MIGRATION.md notes
[ ] Create tests, which fail without this PR reference
[ ] Include a screenshot if changing a GUI
[ ] While waiting for someone to review your request, please help review another open pull request to support the maintainers
Description
This should allow us to begin adopting GitHub Merge Queues so that maintainers can hit "merge when ready" on every approved PR and CI will sort itself out to get all those things merged.
Checklist