projects / git-mirror.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
snapshot
githook: slightly more robust against weird input
-rw-r--r-- 29 .gitignore blob | history | raw
-rw-r--r-- 1313 COPYING blob | history | raw
-rw-r--r-- 10553 git_mirror.py blob | history | raw
-rwxr-xr-x 2680 githook.py blob | history | raw
-rwxr-xr-x 3724 github-add-hooks.py blob | history | raw
-rwxr-xr-x 1600 ssh-set-ident.sh blob | history | raw
-rwxr-xr-x 4431 webhook-core.py blob | history | raw
-rwxr-xr-x 2147 webhook.py blob | history | raw
Keep git repositories on multiple servers in sync