chiark / gitweb /
dgit: Crash if we forgot to set $do_split_brain