Subject: Re: bug#52126: Problematic characters in info node names

From: Eli Zaretskii <[email-masked]>
Date: Tue, 30 Nov 2021 18:48:44 +0200

> From: Protesilaos Stavrou <[email-masked]>
> Cc: [email-masked], [email-masked], [email-masked], [email-masked]
> Date: Tue, 30 Nov 2021 09:16:02 +0200
> 
> I noticed in 0854453ec2343cbfac3ac8e233cdc7bd2c8554a9 a pattern for how
> reverted commits should be written.  I can follow that.

You don't have to: the pattern is produced by Git itself, and if you
want to add or change something, invoke "git revert -e".