GitHub is adding a notion of a queue for pull requests, so you know if your PR is green relative to the PR that will land first! Reminds me of Bors for Rust. https://github.blog/changelog/2023-02-08-pull-request-merge-queue-public-beta/