chiark / gitweb /
Mirroring: Run mirror hook script, if one is provided
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 8 Jul 2015 17:21:38 +0000 (18:21 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 11 Jul 2015 13:23:15 +0000 (14:23 +0100)
commit7c3fe2d148ebb06f84cf1ec6ecbe5d441c91427e
tree483d78a7cdc8b9cc48098641e1cbb70dc5da460a
parent8cba3f92026d48c5792f64ed996f9aab942cc9e6
Mirroring: Run mirror hook script, if one is provided
infra/dgit-repos-server