6 Dec
2017
6 Dec
'17
9:05 a.m.
On Dec 6, 2017, at 11:57, Mariatta Wijaya mariatta.wijaya@gmail.com wrote:
On Dec 6, 2017 8:44 AM, "Guido van Rossum" guido@python.org wrote:
I think I figured it out -- I invited him to the python org on GitHub. Anything else?
Please add Ivan to the Developer Log in Dev Guide, and he should subscribe to python-committers mailing list :)
It should all be here in the Devguide:
https://devguide.python.org/coredev/#gaining-commit-privileges
-- Ned Deily nad@python.org -- []