On Sun, Apr 28, 2019 at 11:58 PM Guido van Rossum <gu...@python.org> wrote: > > On Sun, Apr 28, 2019 at 2:05 PM Ezio Melotti <ezio.melo...@gmail.com> wrote: >> >> On Sat, Apr 27, 2019 at 10:44 PM Guido van Rossum <gu...@python.org> wrote: >> > >> > On Sat, Apr 27, 2019 at 11:10 AM Victor Stinner <vstin...@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. _______________________________________________ python-committers mailing list python-committers@python.org https://mail.python.org/mailman/listinfo/python-committers Code of Conduct: https://www.python.org/psf/codeofconduct/