fix catching exceptions
[git-mirror.git] / github-add-hooks.py
2016-02-07 Ralf Jungfix catching exceptions
2015-07-19 Ralf Jungclarify help text
2015-07-19 Ralf Jungfix a format string
2015-06-08 Ralf Jungfix some bugs
2015-06-08 Ralf Jungadd a script to setup github repositories appropriately