1. Tools
  2. github-pr-closer

GitHub pull request closer

Automatically closes pull requests on repositories mirrored from Gerrit. See https://phabricator.wikimedia.org/T249703 for more details.
License
MIT License
Source code
https://gerrit.wikimedia.org/g/labs/tools/github-pr-closer
Docs
https://wikitech.wikimedia.org/wiki/Tool:Github-pr-closer

github

  • Majavah
  • Reedy