aboutsummaryrefslogtreecommitdiffstats
path: root/githook.py (follow)
Commit message (Expand)AuthorAgeFilesLines
* don't hard-code the path to the python interpreterRalf Jung2015-06-181-1/+1
* githook: slightly more robust against weird inputRalf Jung2015-06-081-1/+4
* avoid needless format string position identifiersRalf Jung2015-03-061-2/+2
* add license headers and COPYINGRalf Jung2015-02-221-1/+1
* redesign to use force pushes only if necessary, to avoid race conditions, and...Ralf Jung2015-02-221-0/+51