On Tue, Jun 19, 2018 at 3:54 AM, Guido van Rossum <gu...@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 _______________________________________________ python-committers mailing list python-committers@python.org https://mail.python.org/mailman/listinfo/python-committers Code of Conduct: https://www.python.org/psf/codeofconduct/