You are browsing a read-only backup copy of Wikitech. The live site can be found at wikitech.wikimedia.org

Tool:Github-pr-closer

From Wikitech-static
Revision as of 09:17, 20 April 2020 by imported>Majavah (add repo and sal)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.