E-mails (and names?) should be case-insensitive

[GrigorenkoPV]

You can currently find me twice in https://thanks.rust-lang.org/rust/all-time/

That's because at some point I have switched to capitalizing my e-mail (address similarly to my GitHub's username).

man gitmailmap(5) explicitly states¹:

Both E-Mails and names are matched case-insensitively. For example this would also match the Commit Name <[email protected]> above:

Proper Name <[email protected]> CoMmIt NaMe <[email protected]>

Similarly, git shortlog seems to properly group both capitalizations of my e-mail address under the same author/commiter.

Footnotes

1. https://man.archlinux.org/man/gitmailmap.5 ↩