summaryrefslogtreecommitdiff
path: root/infra/dgit-repos-policy-debian
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-03-17 21:54:08 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-03-22 15:18:52 +0000
commitd0c5d6629f42b2efa52fb48a5f24407ef18f86b2 (patch)
tree93f1cfeb95cb381a7c4906fa3334c1c1bce768e0 /infra/dgit-repos-policy-debian
parent26ce53b790d76b41fe893d279e9ceb37bb81a3fe (diff)
dgit git tags mention the distro explicitly; dgit-repos-server checks it
Diffstat (limited to 'infra/dgit-repos-policy-debian')
0 files changed, 0 insertions, 0 deletions