SYNOPSYS

I have different ~/.gitconfig on my different workstations that define different user.email value.
It may happen that I forget to set the right repo local user.email value.

PROCEDURE

1
2

echo "Jérémy Zurcher <newmail@asynk.ch> <oldmail@asynk.ch>" > mailmap
git filter-repo --mailmap mailmap --replace-refs delete-no-add --force