On Sat, Apr 27, 2019 at 10:44 PM Guido van Rossum <guido@python.org> wrote:
>
> On Sat, Apr 27, 2019 at 11:10 AM Victor Stinner <vstinner@redhat.com> wrote:
>>
>> Would it be possible to discuss these PEPs on python-dev? Or is it a deliberate choice to not let non core dev to be involved in the discussion?
>
>
> It was not a deliberate choice by the Steering Council. I remind you that this is always going to remain controversial. I have one request: please don't start a vote or poll.

Do you mean that the decision to switch to GitHub Issues has already
been taken (so vote/polls would be pointless), or is the discussion
still open?