Tool:Github-pr-closer

From Wikitech
Jump to navigation Jump to search
Toolforge tools
Crystal Clear app package utilities.png 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

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