chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2554289) | patch
dgit: Introduce do_split_brain()
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 28 Jun 2019 14:04:42 +0000 (15:04 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 28 Jun 2019 15:59:48 +0000 (16:59 +0100)
commit6b957cc704219e34b6d75cfe779a33bd97d3427f
treea2f160a2cc21b374b82adce55003d56c615b9596tree | snapshot
parent25542893f277a588a18d80a7bedd40291ec0675bcommit | diff
dgit: Introduce do_split_brain()

No functional change yet.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.