aboutsummaryrefslogtreecommitdiffstats
path: root/update.py (unfollow)
Commit message (Expand)AuthorFilesLines
2015-02-22redesign to use force pushes only if necessary, to avoid race conditions, and...Ralf Jung1-194/+0
2015-02-22add support for github -> local syncRalf Jung1-64/+162