I'm personally fine listing GItHub usernames in the devguide's developer list, but I'm also not trying to be anonymous on GitHub.
But I will say that listing our GitHub usernames with our real names is not required to tell who is a core developer. In GitHub's UI there are multiple places it will tell you if a person is a member of the repository/team (e.g. hover cards, each comment a teammate makes). _______________________________________________ Python-Dev mailing list -- python-dev@python.org To unsubscribe send an email to python-dev-le...@python.org https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://mail.python.org/archives/list/python-dev@python.org/message/KOKMLHX4RSCWPCUR3YEQBVRB6R3VJOVS/
