chiark / gitweb /
dgit-repos-server: Deal with FRESHREPO from push hook
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 21 Mar 2015 12:04:01 +0000 (12:04 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 22 Mar 2015 15:19:51 +0000 (15:19 +0000)
commit5408b0c227d942af55442389894a9ed7338a55ce
tree3b51298221c339945afbf47ae3266973dcc987b2
parente4b24f2532291565f77e120fbc4bff7660b0d115
dgit-repos-server: Deal with FRESHREPO from push hook
Debian/Dgit.pm
infra/dgit-repos-policy-debian
infra/dgit-repos-server