https://github.com/stowball/github-pr-approvals
JavaScript1
9 years ago
A Greasemonkey script to require approvals in GitHub PRs before merging is allowed