summaryrefslogtreecommitdiff
path: root/infra/dgit-repos-server
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-05-17 00:10:11 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-05-31 11:54:12 +0100
commit881383cd6717e22293b0c2a912afba2c6b421a94 (patch)
tree901bff8796682f23014e7673edb4d9ef21cb7d21 /infra/dgit-repos-server
parentec99fb2d75264668e6f7e6628bb3c87c1b69f332 (diff)
Infra: in dgit-repos-policy-debian actually call getpushinfo
Diffstat (limited to 'infra/dgit-repos-server')
0 files changed, 0 insertions, 0 deletions