aboutsummaryrefslogtreecommitdiffstats
path: root/update.py (follow)
Commit message (Expand)AuthorAgeFilesLines
* redesign to use force pushes only if necessary, to avoid race conditions, and...Ralf Jung2015-02-221-194/+0
* add support for github -> local syncRalf Jung2015-02-221-64/+162
* local-to-remote sync is workingRalf Jung2015-02-211-0/+96