github-mirror - scripts for managing git related tasks on git.freedesktop.org

Age	Commit message (Collapse)	Author	Files	Lines
2016-12-07	add scripts to close github pull requests	Ray Strode	1	-0/+7
	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)