chiark / gitweb /
badcommit-fixup: seems to work
-rwxr-xr-x 3780 badcommit-fixup