chiark / gitweb /
Infra: in dgit-repos-policy-debian actually call getpushinfo
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 16 May 2015 23:10:11 +0000 (00:10 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 31 May 2015 10:54:12 +0000 (11:54 +0100)
commit881383cd6717e22293b0c2a912afba2c6b421a94
tree901bff8796682f23014e7673edb4d9ef21cb7d21
parentec99fb2d75264668e6f7e6628bb3c87c1b69f332
Infra: in dgit-repos-policy-debian actually call getpushinfo
infra/dgit-repos-policy-debian