GitHub merge queue is generally available
github.blog
Supercharge pull request merges on your busiest branches by enabling your team to queue.

Handy new feature for when you're working within a large team all contributing to the same codebase often.