Re: [PATCH 0/3] Die preserve ggg
- From
Ævar Arnfjörð Bjarmason <avarab@gmail.com>
- Date
- May 26, 2022, 09:54 UTC
- Message-ID
- <220526.86y1yo62jl.gmgdl@evledraar.gmail.com>
- In-Reply-To
- <pull.1242.git.1653556865.gitgitgadget@gmail.com>
On Thu, May 26 2022, Philip Oakley via GitGitGadget wrote:
Show 10 quoted lines
> This short series is a follow up to GitGitGadget "Update the die() > preserve-merges messages to help some users (PR #1155)" [1]. > > The first patch is a tidy up of the --preserve option to highlight that it > is now Deleted, rather than Deprecated. > > In response to Avar's comments that the former error message merely > 'tantilised without telling' the user what to do, it became obvious that the > underling problem was that the user was unable to git rebase --abort which > was also fatal, when a preserve-rebase was in progress.
Thanks a lot for following up on this, this all looks OK to me. I had some minor comments about maybe tweaking this & that, but as far as I'm concerned this could go in as-is, depending on whether you think it needs a re-roll in response to my comments + others.