chiark / gitweb /
Fix the HEAD updating during a conflicting push (bug #12609)
[stgit] / examples /
drwxr-xr-x   ..
-rw-r--r-- 3564 gitconfig
-rw-r--r-- 55 patchdescr.tmpl