Recently, Github talked about how they use merge queues for implementing code updates at GitHub. Merge queues have been developed and scaled to manage over 30,000 pull requests, alongside the corresponding 4.5 million CI executions, for GitHub.com.