clarify help text

fix a format string

don't hard-code the path to the python interpreter

githook: slightly more robust against weird input

ignore more things

fix some bugs

add a script to setup github repositories appropriately

avoid needless format string position identifiers

add gitignore

compensate for the gitolite mirror script not to be a proper executable

make sure the post-receive hooks are run when pushes come in from external repositories

verify the HMAC that GitHub sends

look out for the github event type

deal with the initial "zen" message from github; fix things

add support for setting the SSH identity per-repo

configure sender of mails

add license headers and COPYING

redesign to use force pushes only if necessary, to avoid race conditions, and to add email reports

add support for github -> local sync

local-to-remote sync is working