Is it possible to update the thanks page?

[mahmoud-moursy]

I have contributed to Rust's standard library and documentation if I recall correctly in the past, but since then I have changed my Github username, so I no longer show up on the "thanks" page for my original contributions.

I was T-O-R-U-S beforehand.

[Noratrieb]

@mahmoud-moursy this is controlled via the .mailmap in the rust-lang/rust repository. it looks at the git authorship information (the username there and the email there). the GitHub username doesn't matter, but if you contribute from multiple email addresses or names you need to add the entries in the mailmap to unify them all

[mahmoud-moursy]

Is there a formal process for this, or do I just open a PR?

[Noratrieb]

just open a PR