git-mirror.git
9 years agoadd support for setting the SSH identity per-repo
Ralf Jung [Sun, 22 Feb 2015 20:11:19 +0000 (21:11 +0100)]
add support for setting the SSH identity per-repo

9 years agoconfigure sender of mails
Ralf Jung [Sun, 22 Feb 2015 19:49:51 +0000 (20:49 +0100)]
configure sender of mails

9 years agoadd license headers and COPYING
Ralf Jung [Sun, 22 Feb 2015 19:01:07 +0000 (20:01 +0100)]
add license headers and COPYING

9 years agoredesign to use force pushes only if necessary, to avoid race conditions, and to...
Ralf Jung [Sun, 22 Feb 2015 18:52:18 +0000 (19:52 +0100)]
redesign to use force pushes only if necessary, to avoid race conditions, and to add email reports

9 years agoadd support for github -> local sync
Ralf Jung [Sun, 22 Feb 2015 15:14:46 +0000 (16:14 +0100)]
add support for github -> local sync

9 years agolocal-to-remote sync is working
Ralf Jung [Sat, 21 Feb 2015 18:27:49 +0000 (19:27 +0100)]
local-to-remote sync is working