On Sat, Apr 27, 2019 at 10:44 PM Guido van Rossum firstname.lastname@example.org wrote:
On Sat, Apr 27, 2019 at 11:10 AM Victor Stinner email@example.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?