Repository navigation
Conversation
List core developers who left the team in a separated Emeritus Core Developers table.
Documentation build overview
|
|
Currently, it's uneasy for me to distinguish Core Developers who are still in the team from the ones who left in https://devguide.python.org/core-team/team-log/ table. I propose moving Core Developers who left the team to a new Emeritus Core Developers table. Having a separated table would help me to have an idea of how many core developers are currently active (and how many left) which an useful information to me. See also the related Steering Council ticket which uses the "Emeritus committers" term: Remove commit bit from inactive core devs as part of SC elections. This change depends on https://github.com/python/voters/pull/140 (in the private voters repository) to generate |
Could we show two numbers for that, and keep the chronological log? |
hugovk
left a comment
There was a problem hiding this comment.
No strong opinion on whether to split the tables, but some suggestions for if we do.
| ------------------------ | ||
|
|
||
| .. csv-table:: | ||
| :header: "Name", "GitHub username", "Joined", "Left", "Notes" |
There was a problem hiding this comment.
The main list now drops the redundant Left column:
:header: "Name", "GitHub username", "Joined", "Notes"
An idea, shall we re-order this so it's easier to append the left date when shuffling CSV rows in a text editor?
| :header: "Name", "GitHub username", "Joined", "Left", "Notes" | |
| :header: "Name", "GitHub username", "Joined", "Notes", "Left" |
It also makes the two CSVs easier to read programatically.
There was a problem hiding this comment.
Notes is longer than other fields. I prefer putting it at the end (as it is currently). Also, I like have the two dates written one after the other (joined,left).
|
The Python Security Response Team (PSRT) already have a Members emeritus. The process is defined by PEP 811:
|
That would be an option. But I would still prefer to have a separated table for Members emeritus 🙂 |
|
I changed the title from "Emeritus Members" to "Members emeritus" to use the same title than the PSRT page. |
|
If this were generated automatically based on say last commit or github activity date, this document will remain alive, otherwise it will meet the same fate as previous innumerable attempts. |
|
Well, count me as -1. IMO, the log should stay a log. |
|
Victor, I usually use https://hugovk.dev/python-core-team/ to check membership, maybe that could work for you? |
List core developers who left the team in a separated Emeritus Core Developers table.