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
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
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
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
+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
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
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
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