28 Apr
2019
28 Apr
'19
9:05 p.m.
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?