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)

No differences found