chiark / gitweb /
dgit-repos-server: Defend against bad commits (from eg #849041).