Waiting for CI to finish is time consuming, when merging PRs.
If you install https://mergify.com/ into this org, I can add some configuration to configure merge queues.
While github also provides it, it doesn't work for third-party pull requests, which is what this repository receives.
Waiting for CI to finish is time consuming, when merging PRs. If you install https://mergify.com/ into this org, I can add some configuration to configure merge queues. While github also provides it, it doesn't work for third-party pull requests, which is what this repository receives.