Is your feature request related to a problem? Please describe.
Github merge queues might be a useful thing to use for accelerating our PR merging. Currently we have to wait for one PR to finish its checks before merging the next, we can't automate the process of updating branches for outdated PRs that are approved and have auto-merge enabled.
Describe the solution you'd like
Updates to the CI actions to permit running in the queue and use of this feature.
Describe alternatives you've considered
A possible alternative is an action, triggered on a merge to dev, which updates any approved PR with auto-merge enabled. This would automate the merging process such that reviewers can approve multiple PRs and set auto-merge and not have to monitor them for updating.
Is your feature request related to a problem? Please describe.
Github merge queues might be a useful thing to use for accelerating our PR merging. Currently we have to wait for one PR to finish its checks before merging the next, we can't automate the process of updating branches for outdated PRs that are approved and have auto-merge enabled.
Describe the solution you'd like
Updates to the CI actions to permit running in the queue and use of this feature.
Describe alternatives you've considered
A possible alternative is an action, triggered on a merge to
dev, which updates any approved PR with auto-merge enabled. This would automate the merging process such that reviewers can approve multiple PRs and set auto-merge and not have to monitor them for updating.