Improving GitHub Deployments with Merge Queue