Tool:Github-pr-closer

Toolforge tools

GitHub PR closer
Website	https://github-pr-closer.toolforge.org
Description	Closes down GitHub pull requests in repositories mirrored from Gerrit
Author(s)	Taavi Väänänen (Majavahtalk)
Maintainer(s)	Majavah (View all)
Source code	labs/tools/github-pr-closer on Gerrit
License	MIT License
Issues	https://phabricator.wikimedia.org/T249703
Admin log	Nova Resource:Tools.github-pr-closer/SAL

{"name":"github-pr-closer","repository":"labs/tools/github-pr-closer on Gerrit","author":"Taavi Väänänen","url":"https://github-pr-closer.toolforge.org","keywords":"","description":"Closes down GitHub pull requests in repositories mirrored from Gerrit"}

github-pr-closer closes down PRs in GitHub repos mirrored from Gerrit.