chiark / gitweb /
Infra: dgit-repos-server-debian: Run check_package on push
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 13 Jun 2015 16:47:31 +0000 (17:47 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 13 Jun 2015 16:55:28 +0000 (17:55 +0100)
commit559eacc729c94b9297874ff2c85f44e72648c0a1
treedb9b949d6c3565fbb6f662b4cba0627e996b04bd
parenta63f866c55f5a3378920f24d609cabd14e65961f
Infra: dgit-repos-server-debian: Run check_package on push
infra/dgit-repos-policy-debian