You can increase development velocity with a merge queue for pull requests in your repository.| GitHub Docs
