chiark / gitweb /
Split brain: When pushing, find the dgit view in the cache
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 16 Jul 2016 23:12:35 +0000 (00:12 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Jul 2016 12:46:14 +0000 (13:46 +0100)
commit1f80529a13489abd8606d95045d264733390903a
treedab237d32ee008bacadfeef2161c7a7c5d7fd8c2
parentc26f96c431c935b9cf8044fae9894bfdcadbbc97
Split brain: When pushing, find the dgit view in the cache

We now do set $split_brain, and we don't do anythig with the cached
dgit view, so we'll crash at the die, in a moment.
dgit