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

Age	Commit message (Collapse)	Author	Files	Lines
2016-12-06	do github mirroring from dedicated user	Ray Strode	1	-0/+1
	It's too iffy and fragile to have a private key shared between multiple users. This commit cobbles together a systemd service to farm off the syncing to a dedicated github user.