chiark / gitweb /
dgit-repos-policy-debian: Better error handling
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 4 Jun 2016 18:45:12 +0000 (19:45 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 16 Jul 2016 15:47:46 +0000 (16:47 +0100)
commit86daff8924bab3297885cfe375341bf3f4ffe09c
treeea59d3444860e13f92f4bb0600619419583afb74
parent80480d4cf634ba08754576707630e127db38b69c
dgit-repos-policy-debian: Better error handling

Show more info when git-cat-file --batch goes wrong
debian/changelog
infra/dgit-repos-policy-debian