Pull request merge queue from Github

I wonder how we can use this to facilitate stacked reviews in Github?

@akorobeynikov @tstellar

I don’t think this will help with stacked reviews. It’s more of a way to ensure that pull request is tested on HEAD before it is merged. The rust project has a bot called Bors which I think is more or less the equivalent of this new feature from GitHub.