diff options
| author | Ray Strode <rstrode@redhat.com> | 2016-12-07 18:50:02 +0000 |
|---|---|---|
| committer | Ray Strode <rstrode@redhat.com> | 2016-12-07 19:12:52 +0000 |
| commit | c4c213ee760b4249612e4c12dd0925d5c716cb39 (patch) | |
| tree | 786f17a63a15fa4940d81073953a02768ce7f622 /close-github-pull-requests.service | |
| parent | 9316a1a3e6a0ea3ba42cf86bb843ac9933dafc1b (diff) | |
add scripts to close github pull requests
github apparently has no way to opt out of pull requests.
This script is just a copy and paste of sync-github-mirror changed to query
open pull requests and close them. Also there's a systemd timer
to make the script run on all repos once an hour
(might be better to trigger from a github webhook, but that would mean
opening up a webserver, bleh)
Diffstat (limited to 'close-github-pull-requests.service')
| -rw-r--r-- | close-github-pull-requests.service | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/close-github-pull-requests.service b/close-github-pull-requests.service new file mode 100644 index 0000000..3db7870 --- /dev/null +++ b/close-github-pull-requests.service @@ -0,0 +1,7 @@ +[Unit] +Description=close github mirror pull requests + +[Service] +User=github-mirror +ExecStart=/git/bin/close-all-github-pull-requests.sh +Type=oneshot |