chiark / gitweb /
When killing build subprocess during failure of rpush, try reaping it (so we can...
-rw-r--r-- 70 .gitignore
-rw-r--r-- 1231 Makefile
-rw-r--r-- 452 NOTES
drwxr-xr-x - debian
-rwxr-xr-x 61581 dgit
-rwxr-xr-x 15828 dgit-repos-server
-rw-r--r-- 27504 dgit.1
drwxr-xr-x - tests