If this sounds all-too familiar, check out Mergify. It’s the most powerful merge queue tool that offers speculative checks, batch merges, and multiple queueing options. Coordinated with any CI and fully integrated to GitHub. Used every day at Amazon, Uber, and Netflix.
“Mergify is contagious. Once you've set up a workflow where there are no more stale pull requests, you want to deploy that everywhere.” - Martynas Mickevicius, Software Engineer. Find out what all the fuss is about: Sign up for free with your GitHub account.