chiark / gitweb /
In push, do git fetch as well as archive fetch, or archive fetch can fail. debian/0.8
-rw-r--r-- 60 .gitignore
-rw-r--r-- 1231 Makefile
-rw-r--r-- 303 NOTES
drwxr-xr-x - debian
-rwxr-xr-x 29412 dgit
-rw-r--r-- 18185 dgit.1