slightly more informative error messages
don't hard-code the path to the python interpreter
githook: slightly more robust against weird input
avoid needless format string position identifiers
add license headers and COPYING
redesign to use force pushes only if necessary, to avoid race conditions, and to add email reports