chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f14126) | patch
dgit: Fix suggested diff rune in split brain mode
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 6 Jan 2018 01:50:00 +0000 (01:50 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 6 Jan 2018 01:50:01 +0000 (01:50 +0000)
commitef9fb96766ba8b8eaba540a760efa4db4b1bb5da
tree58b570a199783f262fd848d8a59a73dcf3520307tree | snapshot
parent0f141266f28e1cf9ffb421d7362596825fbe6acbcommit | diff
dgit: Fix suggested diff rune in split brain mode

In split brain mode, with unexpected diffs, print dgit view commitid
in suggested diff rune.

HEAD is wrong in this case.

Closes:#886443.

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