Subject: Re: bug#76221: Incorrect name in admin/authors.el

From: Stefan Kangas <[email-masked]>
Date: Wed, 12 Feb 2025 06:08:27 -0800

Thuna <[email-masked]> writes:

>> Sure. Did you want the .mailmap entry? Then 'git log' and similar
>> would show your full name rather than "Thuna".
>
> Thank you, "Thuna" is fine as the git name as well so there's no need.

Is it okay if I add this line to .mailmap?

    Thuna <[email-masked]>

Speaking as a person who somewhat frequently has to update both
authors.el and .mailmap, this would make the discrepancy between Git log
and AUTHORS more explicit.  It might also help some future maintainer to
know that doing it like that was a specific request.