git-mirror.git
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