chiark / gitweb /
When receiving a push with dgit-repos-server, update the server's refs/heads/master...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 4 Jul 2015 19:52:42 +0000 (20:52 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 4 Jul 2015 20:40:47 +0000 (21:40 +0100)

No differences found