[python-committers] Adding Ivan Levkivskyi as a core committer
Guido van Rossum
guido at python.org
Wed Dec 6 11:43:56 EST 2017
I think I figured it out -- I invited him to the python org on GitHub.
On Wed, Dec 6, 2017 at 8:37 AM, Guido van Rossum <guido at python.org> wrote:
> 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 at gmail.com>
>> +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 at python.org>
>> > 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
>> > 3.7, he's the sole or primary author on several PEPs (526, 544, 560,
>> > 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 at 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)
--Guido van Rossum (python.org/~guido)
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the python-committers