Interesting. One never stops learning new git features...
However, while this works for git (i.e., maps old address to new address in "git log" for example), GitHub does not seem to honor this file.
However, while this works for git (i.e., maps old address to new address in "git log" for example), GitHub does not seem to honor this file.
The other issue of course is that at this point in time, there would not be a .mailmap. Of course, github can then fall back to a .mailmap file in the latest commit of the main branch.