github-pr-approvals in awesome-scripts/awesome-userscripts

A Greasemonkey script to require approvals in GitHub PRs before merging is allowed

created at March 1, 2016, 7:39 p.m.

JavaScript

2 +0

1 +0

0 +0

GitHub