I created an issue for this over on the
python/devguide repository, but I figured it would be worthwhile to open a discussion topic for feedback from the community.
Proposal: Add corresponding GitHub usernames for core developers which are listed on the experts index of the devguide.
Purpose: This seems to be a component of implementing PEP 581 and would provide an improvement to PRs in the meantime. Currently, the experts index only lists the roundup usernames of experts for each category. For several of the experts listed, their GitHub username differs completely from their roundup username.
This can make it difficult for PR authors and reviewers to notify them when they are not automatically added. It’s particularly problematic for documentation related PRs, as the RST files do not have codeowners assigned. Even in other categories though, the original codeowners don’t always correspond with the currently active experts.
For more information and table formatting ideas, see https://github.com/python/devguide/issues/507.
Also, while doing this, it might be appropriate to remove currently inactive experts and add new ones. Any core developer with experience reviewing PRs in a given topic and is interested in doing so could potentially qualify as an expert. This would be done in a separate PR, but linked to this issue.
- Sounds good