aboutsummaryrefslogtreecommitdiffstats
path: root/githook.py (unfollow)
Commit message (Expand)AuthorFilesLines
2016-02-07slightly more informative error messagesRalf Jung1-2/+2
2015-06-18don't hard-code the path to the python interpreterRalf Jung1-1/+1
2015-06-08githook: slightly more robust against weird inputRalf Jung1-1/+4
2015-03-06avoid needless format string position identifiersRalf Jung1-2/+2
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