+1, without reservation. He was an immense help to me on PEP 557. 


On 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
Code of Conduct: https://www.python.org/psf/codeofconduct/