diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-07-31 19:28:16 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-09-05 13:41:48 +0100 |
commit | ad6c8798e2ac25be232b0906e3987eb0523fa57a (patch) | |
tree | 46b461d738a8b064fc6cf5be6f2ab2b9e6635848 | |
parent | 661606fd33d2c07248306564cb9f76a875c4a655 (diff) |
TODO.BRANCH: Have checked all uses of $split_brain
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rw-r--r-- | TODO.BRANCH | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/TODO.BRANCH b/TODO.BRANCH index 8279daf..7b9bf31 100644 --- a/TODO.BRANCH +++ b/TODO.BRANCH @@ -9,11 +9,6 @@ Tag rename unfinished business and maybe make fake merge, maybe in dgit view, maybe elsewhere ? - - there is some confusion between $split_brain (did we actually - generate any commits) and quiltmode_splitbrain (might we have done, - including in previous pushes); search for $split_brain and check - that use sites are correct - Want tests for |