On Wed, 06 Dec 2017 08:43:56 -0800, Guido van Rossum email@example.com 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.