<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Thu, 2 Aug 2018 at 00:32 M.-A. Lemburg <<a href="mailto:mal@egenix.com">mal@egenix.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 02.08.2018 03:24, Eric V. Smith wrote:<br>
> On 8/1/2018 8:32 PM, Mariatta Wijaya wrote:<br>
>>     I think it would also be a good idea to include core developers<br>
>>     of other Python implementations in such a document, in<br>
>>     separate sections, e.g. for Jython, IronPython, PyPy,<br>
>>     Stackless, etc<br>
>><br>
>><br>
>> Hmm, I don't think it is should be our (CPython) responsibility to<br>
>> keep track and maintain the list of the core devs of alternate Python<br>
>> implementations. Don't they have their own community / website? They<br>
>> have their own repo, bug tracker, governance model, and everything,<br>
>> right?<br>
> <br>
> Agreed. We have a hard enough time keeping track of our own core<br>
> developers.<br>
<br>
I don't really think we have a hard time doing this. The only<br>
problem is that we never sat down and actually properly recorded<br>
this in one place.<br>
<br>
Other projects will, of course, have their own websites, but since<br>
Python is more than just CPython, it would be great to include those<br>
other developers in an official list as well. It would be up for<br>
for the other teams to maintain their lists.<br>
<br>
That said, this part is lower priority than the CPython core<br>
developer listing.<br>
<br>
> For our core devs, can't we just say that the CPython core devs are<br>
> those with commit bits on the CPython repo? I realize that will<br>
> eliminate some people who have been core developers and never moved to<br>
> github, but if they bring it to our attention, we can add them easily<br>
> enough.<br>
As discussed before, being a core developer is a status you<br>
gain and never lose. There is a clear difference between have<br>
commit rights to the (current) repo and this status. <br></blockquote></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
What I am after, is a list of core developers, not a list of<br>
people with their keys on github (or where ever we move in the<br>
future), since this list is not about a technical status, but rather<br>
a social one.<br></blockquote></div><div class="gmail_quote"><br></div><div class="gmail_quote">Then the issue I created which Mariatta linked to I think covers this desire to have a historical record of people who have been core developers along with when they have had commit privileges.<br></div></div>