chiark / gitweb /
When receiving a push with dgit-repos-server, update the server's refs/heads/master...
-rw-r--r-- 97 .gitignore
drwxr-xr-x - Debian
-rw-r--r-- 2348 Makefile
-rw-r--r-- 452 NOTES
drwxr-xr-x - debian
-rwxr-xr-x 83688 dgit
-rw-r--r-- 24823 dgit.1
-rw-r--r-- 7192 dgit.7
drwxr-xr-x - infra
drwxr-xr-x - tests