chiark / gitweb /
Split brain: Start work on determining split brain necessity
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 19 Nov 2015 00:32:00 +0000 (00:32 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 16 Jul 2016 15:47:47 +0000 (16:47 +0100)
commitb83b6f62fc7c4b473c7228b1293619389b284c5f
treee14c3ee46aa026a96bc05523a481c8c7aa72fb5f
parentbd5e99ad04dc4eda140aca37840628118d1fa94d
Split brain: Start work on determining split brain necessity

`Split brain' means the situation where `dgit push' makes private
commits, to push to the dgit repos server, which are not left on the
user's actual branch.

Check whether the quilt mode and tree differences, taken together,
mean that we need split brain.

If we do need split brain, use gbp pq to apply the patch series.

.gitignore changes are mishandled, still.  And we don't actually
follow through much yet.

Also, fix a case where quilt mode `apply' hadn't been changed to
`unapplied'.
TODO.BRANCH [new file with mode: 0644]
dgit