Recently, Brett updated the developer log in the devguide (https://devguide.python.org/developers/) to fetch the names of each core developer and the date they were given commit privileges from the private python-committers repository. I think it would also be quite useful to include GitHub usernames on that list. Currently, the only list that contributors can find the GitHub usernames for each core developer is through the committers list on bpo. Since we will be moving away from bpo (PEP 581), we should have a comprehensive list that is separate from that platform. The motivation behind creating a a new topic for this issue was Brett's response to my comment in the PR that updated the devguide (https://github.com/python/devguide/pull/533#issuecomment-532405907). Essentially, if no core developers have an issue with having their GitHub username posted on the devguide, we can move forward with adding it. Another related but more long term project is adding the GitHub usernames to the experts index (https://devguide.python.org/experts/). This is more involved because the bpo nosy list currently pulls from the experts index, meaning the nosy list is dependent on the specific formatting used. To address this, I opened a PR a couple of months ago which would add a .json file containing the data from the experts index (https://github.com/python/devguide/pull/517), based on the discussion in the related issue (https://github.com/python/devguide/issues/507). If any available core developers are experienced with structuring .json files, I would greatly appreciate any feedback. The next step would be converting the nosy list script to use the new .json file instead of the experts index page, so that we could adjust the page to also include GitHub usernames. Optimally, the contents in the experts index would be pulled from the .json file automatically so any changes only have to be made to a single location.