aboutsummaryrefslogtreecommitdiffstats
path: root/git_mirror.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* redesign to use force pushes only if necessary, to avoid race conditions, ↵Ralf Jung2015-02-221-0/+156
and to add email reports