I just approve Ivan's subscription request to this list.

And I know it's late, but a resounding +1 to this happening!

On Wed, 6 Dec 2017 at 09:21 R. David Murray <rdmurray@bitdance.com> wrote:
On Wed, 06 Dec 2017 08:43:56 -0800, Guido van Rossum <guido@python.org> wrote:
> I think I figured it out -- I invited him to the python org on GitHub.
> Anything else?

He needs to subscribe to this mailing list, and the developers.rst in
the devguide repo should get an update.

That's all I can think of, since ssh keys are now handled by github,
but if there are other github things that need done I might not know
them ;)

Ah, it's all (or should be) in coredev.rst.  I don't see anything else
that needs done, though he should read that doc.

python-committers mailing list
Code of Conduct: https://www.python.org/psf/codeofconduct/