aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* configure sender of mailsRalf Jung2015-02-221-6/+12
* add license headers and COPYINGRalf Jung2015-02-225-4/+77
* redesign to use force pushes only if necessary, to avoid race conditions, and...Ralf Jung2015-02-225-196/+276
* add support for github -> local syncRalf Jung2015-02-222-64/+184
* local-to-remote sync is workingRalf Jung2015-02-211-0/+96