projects / git-mirror.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
avoid needless format string position identifiers
[git-mirror.git] / githook.py
2015-03-06 Ralf Jungavoid needless format string position identifiers blob | commitdiff | raw
2015-02-22 Ralf Jungadd license headers and COPYING blob | commitdiff | raw | diff to current
2015-02-22 Ralf Jungredesign to use force pushes only if necessary, to... blob | commitdiff | raw | diff to current
Keep git repositories on multiple servers in sync