Hi!

On Sun, 2026-05-10 at 20:53:01 +0200, Alejandro Colomar wrote:

On 2026-05-10T19:22:04+0200, Guillem Jover wrote:

quoted

From: Guillem Jover <redacted>

It make sense to use this file to fix spelling and encoding issues that
otherwise show up when checking the git history. It also makes sense to
honor name changes for people, to avoid dead naming or similar. As well
as fixing up local mail addresses that have never been valid.

It makes less sense to remap valid addresses at the time of submission
that represented a specific hat or organization, where the person is
no longer affiliated with, because that breaks the historic trail and
provenance of the changes. And is what require a continuous update
burden, which seems to have been the reason for the removal with
commit 2231a1659621d281a2fbb0d75bad5bccce538f96.

Hmmm, to be honest, I don't know what to do with this patch.  I might or
might not take it; I'm undecided.

Out of curiosity, what were you looking at, that lead you to writing it?
:)

I've had this change lost in a local branch for some time, and noticed
while going over pending changes for the recent submission. And found
about the file deletion during rebasing it.

The original reason was the same as now, when doing things like:

  git rlog
    (alias for «log --format=format:\"%h %Cblue%ai%Creset %aN %Cgreen%s%Creset %C(auto,brightyellow)%(decorate)%Creset\"»)
  git shortlog -s

Or other stuff involved history digging, you get wrongly encoded
output.

Assuming you have concerns about maintainability I think it would be
fair to state somewhere (either in the contributing docs, or perhaps
even in the .mailmap file) what are the acceptable entries there, to
mitigate that concern.

Thanks,
Guillem