aboutsummaryrefslogtreecommitdiffstats
path: root/git_mirror.py (follow)
Commit message (Expand)AuthorAgeFilesLines
* configure sender of mailsRalf Jung2015-02-221-6/+12
* add license headers and COPYINGRalf Jung2015-02-221-0/+23
* redesign to use force pushes only if necessary, to avoid race conditions, and...Ralf Jung2015-02-221-0/+156