chiark / gitweb /
When receiving a push with dgit-repos-server, update the server's refs/heads/master...