Subject: Re: bug#58092: 29.0.50; [PATCH] Add log-edit-summary-separator face

From: Sean Whitton <[email-masked]>
Date: Tue, 27 Sep 2022 08:50:31 -0700

Hello,

On Mon 26 Sep 2022 at 04:49PM +02, Stefan Kangas wrote:

> Robert Pluim <[email-masked]> writes:
>
>> amend no. revert yes, but itʼs overkill for just a commit message issue. You
>> can always run 'make change-history' and fix it in the resulting
>> ChangeLog file (see admin/notes/repo for the details)
>
> Please don't do that, it will make merging more tricky later.

Hmm, so it's never okay to do that?  Or is it to be saved for the more
egregrious errors?

-- 
Sean Whitton