You are browsing a read-only backup copy of Wikitech. The live site can be found at wikitech.wikimedia.org
Tool:Github-pr-closer: Difference between revisions
Jump to navigation
Jump to search
imported>Majavah (create initial page) |
imported>Majavah (add repo and sal) |
||
| Line 8: | Line 8: | ||
|username = Majavah | |username = Majavah | ||
|maintainer = Majavah | |maintainer = Majavah | ||
|repository = | |repository = labs/tools/github-pr-closer [https://gerrit.wikimedia.org/r/plugins/gitiles/labs/tools/github-pr-closer/ on Gerrit] | ||
|license = MIT | |license = MIT | ||
|image = | |image = | ||
| Line 14: | Line 14: | ||
|phabricator = | |phabricator = | ||
|issues = https://phabricator.wikimedia.org/T249703 | |issues = https://phabricator.wikimedia.org/T249703 | ||
|sal = | |sal = [[Nova Resource:Tools.github-pr-closer/SAL]] | ||
|icon = | |icon = | ||
}} | }} | ||
'''[https://github-pr-closer.toolforge.org github-pr-closer]''' closes down PRs in GitHub repos mirrored from Gerrit. | '''[https://github-pr-closer.toolforge.org github-pr-closer]''' closes down PRs in GitHub repos mirrored from Gerrit. | ||
Latest revision as of 09:17, 20 April 2020
 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.