slightly more informative error messages
[git-mirror.git] / ssh-set-ident.sh
2015-02-24 Ralf Jungmake sure the post-receive hooks are run when pushes...
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