git-mirror.git
2015-07-19 Ralf Jungfix a format string
2015-06-18 Ralf Jungdon't hard-code the path to the python interpreter
2015-06-08 Ralf Junggithook: slightly more robust against weird input
2015-06-08 Ralf Jungignore more things
2015-06-08 Ralf Jungfix some bugs
2015-06-08 Ralf Jungadd a script to setup github repositories appropriately
2015-03-06 Ralf Jungavoid needless format string position identifiers
2015-02-25 Ralf Jungadd gitignore
2015-02-25 Ralf Jungcompensate for the gitolite mirror script not to be...
2015-02-24 Ralf Jungmake sure the post-receive hooks are run when pushes...
2015-02-22 Ralf Jungverify the HMAC that GitHub sends
2015-02-22 Ralf Junglook out for the github event type
2015-02-22 Ralf Jungdeal with the initial "zen" message from github; fix...
2015-02-22 Ralf Jungadd support for setting the SSH identity per-repo
2015-02-22 Ralf Jungconfigure sender of mails
2015-02-22 Ralf Jungadd license headers and COPYING
2015-02-22 Ralf Jungredesign to use force pushes only if necessary, to...
2015-02-22 Ralf Jungadd support for github -> local sync
2015-02-21 Ralf Junglocal-to-remote sync is working