projects / git-mirror.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7373610) | patch
redesign to use force pushes only if necessary, to avoid race conditions, and to...
authorRalf Jung <post@ralfj.de>
Sun, 22 Feb 2015 18:52:18 +0000 (19:52 +0100)
committerRalf Jung <post@ralfj.de>
Sun, 22 Feb 2015 18:52:18 +0000 (19:52 +0100)
commit503462ba4433cef0cf10deaf9595a431157832ee
tree9610895981f7f5f2de5cd2bf383a4408dd138c9btree | snapshot
parent7373610f7eb8e516b6610370411b57a20e7af2a0commit | diff
redesign to use force pushes only if necessary, to avoid race conditions, and to add email reports
git_mirror.py [new file with mode: 0644] blob
githook.py [new file with mode: 0755] blob
update.py [deleted file] blob | history
webhook-core.py [new file with mode: 0755] blob
webhook.py diff | blob | history
Keep git repositories on multiple servers in sync