I think adding GitHub username to expert index is great idea, and something to be addressed for PEP 588.
A couple things to consider:
- I think there is a mechanism in bpo to automatically
+nosy
people in the expert index to the issue. I don’t know if adding GitHub username there will affect anything in bpo side? - Some core devs may not want to be @-mentioned in pull request (Proposal: Create "Bug Triage" team on GitHub)