chiark / gitweb /
dgit-badcommit-fixup: Instructions comment