chiark / gitweb /
dgit git tags mention the distro explicitly; dgit-repos-server checks it
[dgit.git] / infra /
drwxr-xr-x   ..
-rw-r--r-- 1275 README.Debian-NEW
-rwxr-xr-x 16217 dgit-repos-server
-rwxr-xr-x 2990 dgit-ssh-dispatch
-rwxr-xr-x 356 get-dm-txt
-rwxr-xr-x 137 ssh-wrap