Tool:Github-pr-closer
From Wikitech
| 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 (Majavah talk ) |
| 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.