Since Victor and I came out in support of listing everyone's GitHub usernames
in the devguide and no one objected, I will assume people are okay with this
idea. And so at some point I will update the code to generate the table for the
devguide to include everyone's GitHub username.
_
> devguide now uses developers.rst which is generated from the following
private file:
https://github.com/python/voters/blob/master/python-core.toml
Ah good to know. I don't have access to the voters repo so I wasn't sure
about the exact format or location of the file.
> Guessing a GitHub identif
> 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
Within the GitHub UI if you're not a member of the organization, it tells
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 wil
Le mer. 25 sept. 2019 à 08:24, Kyle Stanley a écrit :
> 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.
