Re: When exactly should REBASE_HEAD exist?

From: Phillip Wood <phillip.wood123@gmail.com>
Date: Mar 16, 2023, 17:46 UTC
Message-ID: <f7577c57-f70d-cca3-3f25-18525d40d79b@dunelm.org.uk>
In-Reply-To: <805626af-b147-d3cf-5257-a5b90b7cf1d9@haller-berlin.de>

Hi Stefan

On 10/03/2023 17:42, Stefan Haller wrote:

> I tried the algorithm now and seems to do exactly what I want, so thanks
> for the help with this, I'm happy now.

I'm glad you've got something working

> There's a slight correction though: if a command is rescheduled, then
> git appears to re-append the last successful command to the end of the
> "done" file (it's in there twice now). So I have to check the > second-to-last command of "done" against the first command of
> "git-rebase-todo" to find out if a command was rescheduled.

Oh, sorry I'd misremembered how it works. I think it is actually a bug that we write the last successful command to "done" again when rescheduling but it sounds like you have a reliable work-around.

Best Wishes

Phillip

> -Stefan