
On Sun, Apr 28, 2019 at 11:58 PM Guido van Rossum guido@python.org wrote:
On Sun, Apr 28, 2019 at 2:05 PM Ezio Melotti ezio.melotti@gmail.com wrote:
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?
The latter. I meant to warn Victor not to start a poll before prematurely -- we should first attempt to find (rough) consensus.
Thanks for clarifying.