[vstinner]

List core developers who left the team in a separated Emeritus Core Developers table.

[read-the-docs-community]

Documentation build overview

📚 CPython devguide | 🛠️ Build #35852452 | 📁 Comparing 21a419e against latest (8c852bd)

  🔍 Preview build  

1 file changed

± core-team/team-log/index.html

[vstinner]

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 core-team/core-team.csv and core-team/emeritus-core-team.csv.

[ncoghlan]

Suggested change

	Emeritus Core Developers
	Emeritus Members

We've mostly been moving away from the "Core Developers" term to "Core Team Members"