➜
This issue tracker has been migrated to GitHub,
and is currently read-only.
For more information,
see the GitHub FAQs in the Python's Developer Guide.
Created on 2021-07-17 03:42 by gvanrossum, last changed 2022-04-11 14:59 by admin. This issue is now closed.
| Pull Requests | |||
|---|---|---|---|
| URL | Status | Linked | Edit |
| PR 27210 | merged | lukasz.langa, 2021-07-17 08:14 | |
| PR 27212 | merged | miss-islington, 2021-07-17 09:22 | |
| PR 27213 | merged | miss-islington, 2021-07-17 09:22 | |
| Messages (8) | |||
|---|---|---|---|
| msg397688 - (view) | Author: Guido van Rossum (gvanrossum) *  |
Date: 2021-07-17 03:42 | |
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. |
|||
| msg397696 - (view) | Author: Ken Jin (kj) * |
Date: 2021-07-17 04:09 | |
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 recall seeing him replying on bpo recently but not on GH. So maybe we should leave him in for bpo but remove him from the GH reviews? |
|||
| msg397704 - (view) | Author: Ivan Levkivskyi (levkivskyi) * |
Date: 2021-07-17 07:01 | |
You can remove me from both. |
|||
| msg397706 - (view) | Author: Łukasz Langa (lukasz.langa) * |
Date: 2021-07-17 08:27 | |
Related devguide PR: https://github.com/python/devguide/pull/728 |
|||
| msg397714 - (view) | Author: Łukasz Langa (lukasz.langa) * |
Date: 2021-07-17 09:48 | |
These were sad PRs to make. Take care, Ivan! |
|||
| msg397722 - (view) | Author: Ken Jin (kj) * |
Date: 2021-07-17 12:30 | |
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. |
|||
| msg397724 - (view) | Author: Guido van Rossum (gvanrossum) * |
Date: 2021-07-17 14:22 | |
Many thanks from me too, Ivan. I have enjoyed working with you and will miss you. Come back any time! |
|||
| msg397742 - (view) | Author: Ivan Levkivskyi (levkivskyi) * |
Date: 2021-07-18 07:15 | |
Thank you everyone! I hope our paths will cross someday. |
|||
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2022-04-11 14:59:47 | admin | set | github: 88825 |
| 2021-07-18 07:15:50 | levkivskyi | set | messages: + msg397742 |
| 2021-07-17 14:22:18 | gvanrossum | set | messages: + msg397724 |
| 2021-07-17 12:30:39 | kj | set | messages: + msg397722 |
| 2021-07-17 09:48:55 | lukasz.langa | set | status: open -> closed messages: + msg397714 stage: patch review -> resolved |
| 2021-07-17 09:22:58 | miss-islington | set | pull_requests: + pull_request25751 |
| 2021-07-17 09:22:54 | miss-islington | set | nosy:
+ miss-islington pull_requests: + pull_request25750 |
| 2021-07-17 08:27:32 | lukasz.langa | set | messages: + msg397706 |
| 2021-07-17 08:14:59 | lukasz.langa | set | keywords:
+ patch stage: patch review pull_requests: + pull_request25748 |
| 2021-07-17 07:01:10 | levkivskyi | set | messages: + msg397704 |
| 2021-07-17 05:43:29 | serhiy.storchaka | set | title: Remove Ivan from list of,typing experts -> Remove Ivan from list of typing experts |
| 2021-07-17 04:09:57 | kj | set | messages: + msg397696 |
| 2021-07-17 03:42:04 | gvanrossum | create | |