The pull request merge button will now update automatically when a pull request review is submitted.

Learn more about merging pull requests on GitHub