chiark / gitweb /
Update the local tracking branch for the dgit remote, when pushing. Closes: #720956.
-rw-r--r-- 60 .gitignore
-rw-r--r-- 1231 Makefile
-rw-r--r-- 303 NOTES
drwxr-xr-x - debian
-rwxr-xr-x 35234 dgit
-rw-r--r-- 20751 dgit.1