OK, let's make it so. It's been a long time since I initiated a new committer -- what has to happen next? I just flipped his committer bit on bpo, is there anything else that needs to happen?

On Wed, Dec 6, 2017 at 8:27 AM, Yury Selivanov <yselivanov.ml@gmail.com> wrote:
+1 from me.  I first had an idea to give Ivan commit privileges when I
was merging his PEP 526 implementation, so I think it's long overdue.


On Tue, Dec 5, 2017 at 8:00 PM, Guido van Rossum <guido@python.org> wrote:
> I'd like to propose Ivan Levkivskyi as a new core committer. He's
> (re-)written most of the typing.py module and will do so again for Python
> 3.7, he's the sole or primary author on several PEPs (526, 544, 560, 562),
> is co-author on several more (483, 561) and has been acknowledged in yet
> others (557, 563).
> He is responsible for at least 16 commits in master.
> I have worked with him for a long time on typing.py and on mypy (where he is
> a core dev) and I can vouch for him completely.
> --
> --Guido van Rossum (python.org/~guido)
> _______________________________________________
> python-committers mailing list
> python-committers@python.org
> https://mail.python.org/mailman/listinfo/python-committers
> Code of Conduct: https://www.python.org/psf/codeofconduct/

--Guido van Rossum (python.org/~guido)