A Greasemonkey script to only allow the merging of GitHub Pull Requests when they have approval (via a comment)
The "Merge pull request" button will be disabled as appropriate on load, and on new, edited and deleted comments.
- Install Greasemonkey for Firefox or Tampermonkey for Chrome
- Paste github-approvals-gm.js as a new script
- Additionally, change the required number of approvals and the approval string (default is
1and=Approved=)