From: Karl Hasselström <kha@treskal.com>
Date: Sun, 21 Sep 2008 12:17:41 +0000 (+0200)
Subject: Log and undo external modifications
X-Git-Tag: v0.15-rc1~139
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/stgit/commitdiff_plain/c70033b45deac916730549bb915231f59895caf9?hp=c70033b45deac916730549bb915231f59895caf9

Log and undo external modifications

At the beginning of every StGit command, quickly check if the branch
head recorded in the log is the same as the actual branch head; if
it's not, conclude that some non-StGit tool has modified the stack,
and record a log entry that says so. (Additionally, if the log doesn't
exist yet, create it.)

This introduces the possibility that a log entry specifies a head and
a top that aren't equal. So teach undo, redo, and reset to deal with
that case.

Signed-off-by: Karl Hasselström <kha@treskal.com>
---