chiark / gitweb /
dgit: Break out determine_whether_split_brain