git mirror update script
authorRudolf Polzer <divverent@alientrap.org>
Tue, 21 Feb 2012 13:16:37 +0000 (14:16 +0100)
committerRudolf Polzer <divverent@alientrap.org>
Tue, 21 Feb 2012 13:16:37 +0000 (14:16 +0100)
commitf197962027a09d1442a44748cef5016ad0b44bdf
treedde0e0fbb05fbe7786a63d6a9340ea6cefd9cc7d
parent865c5dfcfce842a32974698a09abe749c4f94cf1
git mirror update script
misc/infrastructure/git-mirror-update.sh [new file with mode: 0755]