[python-committers] Adding Ivan Levkivskyi as a core committer

[R. David Murray]

On Wed, 06 Dec 2017 08:43:56 -0800, Guido van Rossum <guido at 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.

--David