redesign to use force pushes only if necessary, to avoid race conditions, and to...
-rw-r--r-- 7631 git_mirror.py
-rwxr-xr-x 2584 githook.py
-rwxr-xr-x 3285 webhook-core.py
-rwxr-xr-x 883 webhook.py