aboutsummaryrefslogtreecommitdiffstats
path: root/githook.py (unfollow)
Commit message (Expand)AuthorFilesLines
2015-02-22add license headers and COPYINGRalf Jung1-1/+1
2015-02-22redesign to use force pushes only if necessary, to avoid race conditions, and...Ralf Jung1-0/+51