Proposal: Add GitHub usernames to the experts index

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)
2 Likes