Add .mailmap file to map old commits to Sophie's new name and email

[wmww]

Hi!

My old name is all over Mir git history. I don't care that much so I never proposed filter-branching it out, but I recently found out with a simple .mailmap you can get a lot of the same benefits without changing history. If this is merged my new name will be displayed on my old commits and on git blame, both locally and on github.

[wmww]

If this isn't objectionable I might make similar PRs to a bunch of the other Mir team repos I contributed to.

[codecov]

Codecov Report

Merging #3057 (bed6d79) into main (6e2dc72) will decrease coverage by 0.01%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #3057      +/-   ##
==========================================
- Coverage   77.70%   77.70%   -0.01%     
==========================================
  Files        1056     1056              
  Lines       73409    73409              
==========================================
- Hits        57042    57040       -2     
- Misses      16367    16369       +2     

see 3 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[Saviq]

Hey o/, can you point at documentation on what respects this?

[AlanGriffiths]

This looks fine to me, but @Saviq has a question before we land

[wmww]

Sorry, off GH for a while.

Git docs here: https://git-scm.com/docs/gitmailmap

I can't find any sort of official github docs but this stack overflow says it works: https://stackoverflow.com/questions/53629125/does-github-consider-mailmap-for-contribution-graph