chiark / gitweb /
When receiving a push with dgit-repos-server, update the server's refs/heads/master...
[dgit.git] / Debian /
drwxr-xr-x   ..
-rw-r--r-- 6327 Dgit.pm
drwxr-xr-x - Dgit