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

2017-12-05 Thread Nick Coghlan
On 6 December 2017 at 11:00, Guido van Rossum 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

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

2017-12-05 Thread Terry Reedy
On 12/5/2017 8:00 PM, Guido van Rossum 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

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

2017-12-05 Thread Ethan Furman
On 12/05/2017 05:00 PM, Guido van Rossum wrote: I'd like to propose Ivan Levkivskyi as a new core committer. I thought he already was one. +1 to bring him in! -- ~Ethan~ ___ python-committers mailing list python-committers@python.org

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

2017-12-05 Thread Guido van Rossum
Well he also wrote and implemented PEP 562 (overriding __getattr__ and __dir__ on modules). I'd be happy to tell him to gain other developers' trust before barging into other areas. But isn't that how all core devs work by default? On Tue, Dec 5, 2017 at 5:07 PM, Victor Stinner

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

2017-12-05 Thread Eric V. Smith
+1, without reservation. He was an immense help to me on PEP 557. -- Eric. > On Dec 5, 2017, at 8:00 PM, Guido van Rossum 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

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

2017-12-05 Thread Victor Stinner
Hi Guido, Since the typing module is out of my interest area, I didn't notice Ivan contributions, so it's hard for me to give an opinion. Should I understand that he will mostly contribute to the typing module? If (in the beginning?) we restrict him to the typing module, I will simply rely on

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

2017-12-05 Thread Guido van Rossum
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

[python-committers] python-devs/python project on GitLab

2017-12-05 Thread Barry Warsaw
Back when we were deciding between GitHub and GitLab, we created this project: https://gitlab.com/python-devs/python Unless anyone objects, we’re going to delete this project. We have no need for this now that CPython development is on GitHub. (No, we’re not getting rid of the group, just the