Please add Ivan to the Developer Log in Dev Guide, and he should subscribe to python-committers mailing list :) 



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?