[python-committers] Changing commiter status

[Tal Einat]

On Tue, Jun 19, 2018 at 3:54 AM, Guido van Rossum <guido at python.org> wrote:
>
> If we currently have a list of core devs we should by default change people's status to emeritus core dev when they choose (c). They may also choose to be removed from such a list. But I don't know if we have a list.

We have at least one list on the developers' guide:
https://devguide.python.org/developers/

It's more of a log of permissions granted and dropped. It also has a
section titled "Permissions Dropped after Loss of Contact", currently
with a single entry.

- Tal Einat