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 <email@example.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 <firstname.lastname@example.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/cod
----Guido van Rossum (python.org/~guido)