chiark / gitweb /
dgit-badcommit-fixup: Honour core.sharedRepository.