Six commits merged via #95366/#95367 carry an incorrect author email
(kshitijkapoorr@gmail.com — not an address the contributor owns; it was
set by tooling error during salvage). The address maps to no GitHub
account (verified via the users search API). Canonicalize it to the real
identity so shortlog/contributor tooling attributes correctly; the
contributors/emails mapping file from the same PRs already covers
release attribution.
The auto-generated mapping pass (#9358) mapped jonny@nousresearch.com to
jquesnelle (Jeffrey Quesnelle). Jeffrey's commits use his own emails and
map through the existing emozilla line; jonny@nousresearch.com belongs to
yoniebans. Result: 62 commits (54 authored as yoniebans, 8 as jonny)
displayed under the wrong name in every mailmapped view (git shortlog,
git show, changelog/stats tooling). GitHub attribution was never affected
— it matches the raw email to the registered account.
Verified: git shortlog -sne origin/main now folds all 62 under
yoniebans <jonny@nousresearch.com>; Jeffrey's 97 emozilla commits and
his 1 jquesnelle@gmail.com commit are unchanged.
Audit of all external contributor PRs revealed 97 commit emails
not mapped in AUTHOR_MAP, meaning contributors weren't properly
credited in release notes. Cross-referenced via:
- GitHub API email search (9 resolved before rate limit)
- Salvage PR body mentions (@username in descriptions)
- Git noreply email cross-reference (same person, both emails)
- GH contributor list username matching
Also adds .mailmap for git shortlog/log display consistency.
Remaining 22 unmapped emails need GH API resolution when rate
limit resets — the contributor_audit.py script will flag them.
Addresses ColourfulWhite's report about missing contributor tags.
