chiark / gitweb /
badcommit-fixup: seems to do main thing
-rwxr-xr-x 2876 badcommit-fixup