projects / git-mirror.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0776d1) | patch
avoid needless format string position identifiers
authorRalf Jung <post@ralfj.de>
Fri, 6 Mar 2015 12:20:13 +0000 (13:20 +0100)
committerRalf Jung <post@ralfj.de>
Fri, 6 Mar 2015 12:20:13 +0000 (13:20 +0100)
commit9e8ef5ff99e70c7cc97445acbd91abaf539fd536
tree3778913b8758d6c0c8e45ab8ac45d6269152a579tree | snapshot
parenta0776d1336cd8391798c8e326fbac3a5b57b5be1commit | diff
avoid needless format string position identifiers
git_mirror.py diff | blob | history
githook.py diff | blob | history
webhook-core.py diff | blob | history
Keep git repositories on multiple servers in sync