[issue44659] Remove Ivan from list of typing experts

2021-07-18 Thread Ivan Levkivskyi
Ivan Levkivskyi added the comment: Thank you everyone! I hope our paths will cross someday. -- ___ Python tracker ___ ___ Python-bu

[issue44659] Remove Ivan from list of typing experts

2021-07-17 Thread Guido van Rossum
Guido van Rossum added the comment: Many thanks from me too, Ivan. I have enjoyed working with you and will miss you. Come back any time! -- ___ Python tracker ___ __

[issue44659] Remove Ivan from list of typing experts

2021-07-17 Thread Ken Jin
Ken Jin added the comment: Thank you for everything you've done over the years for typing and its ecosystem Ivan. Take care, and please don't hesitate to add yourself back in the future if you feel like it. -- ___ Python tracker

[issue44659] Remove Ivan from list of typing experts

2021-07-17 Thread Łukasz Langa
Łukasz Langa added the comment: These were sad PRs to make. Take care, Ivan! -- stage: patch review -> resolved status: open -> closed ___ Python tracker ___ __

[issue44659] Remove Ivan from list of typing experts

2021-07-17 Thread miss-islington
Change by miss-islington : -- pull_requests: +25751 pull_request: https://github.com/python/cpython/pull/27213 ___ Python tracker ___ __

[issue44659] Remove Ivan from list of typing experts

2021-07-17 Thread miss-islington
Change by miss-islington : -- nosy: +miss-islington nosy_count: 4.0 -> 5.0 pull_requests: +25750 pull_request: https://github.com/python/cpython/pull/27212 ___ Python tracker _

[issue44659] Remove Ivan from list of typing experts

2021-07-17 Thread Łukasz Langa
Łukasz Langa added the comment: Related devguide PR: https://github.com/python/devguide/pull/728 -- ___ Python tracker ___ ___ Pytho

[issue44659] Remove Ivan from list of typing experts

2021-07-17 Thread Łukasz Langa
Change by Łukasz Langa : -- keywords: +patch pull_requests: +25748 stage: -> patch review pull_request: https://github.com/python/cpython/pull/27210 ___ Python tracker ___

[issue44659] Remove Ivan from list of typing experts

2021-07-17 Thread Ivan Levkivskyi
Ivan Levkivskyi added the comment: You can remove me from both. -- ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubsc

[issue44659] Remove Ivan from list of typing experts

2021-07-16 Thread Serhiy Storchaka
Change by Serhiy Storchaka : -- title: Remove Ivan from list of,typing experts -> Remove Ivan from list of typing experts ___ Python tracker ___ __

[issue44659] Remove Ivan from list of,typing experts

2021-07-16 Thread Ken Jin
Ken Jin added the comment: The list for GH reviews is the CODEOWNERS file at https://github.com/python/cpython/blob/main/.github/CODEOWNERS The list for grouping bpo users is the experts index (I hope) at https://devguide.python.org/experts/ Let's wait a bit to hear what Ivan wants. I recal

[issue44659] Remove Ivan from list of,typing experts

2021-07-16 Thread Guido van Rossum
New submission from Guido van Rossum : There is a list somewhere in bpo or GH that automatically adds Ivan to all bugs or reviews involving typing. He is no longer active. Can we remove him from those lists? And maybe add Ken Jin, who has built up a lot of expertise in this area. --