On Sun, 8 Dec 2019 at 09:00, Nick Coghlan <ncogh...@gmail.com> wrote: > > On Sat., 7 Dec. 2019, 2:08 am Victor Stinner, <vstin...@python.org> wrote: >> >> Le ven. 6 déc. 2019 à 16:00, Guido van Rossum <gu...@python.org> a écrit : >> > Let's try to avoid having PEP discussions in the peps tracker, period. >> > That repo's tracker is only meant to handle markup and grammar. >> >> I recall that some PEPs have been discussed in length in GitHub PRs. >> But I'm fine with keeping the discussion on mailing lists. > > > The line by line comment support and ability to accept PRs from others is > handy sometimes.
The lack of context in github notification emails for comments means that I generally delete such notifications unread unless they are basically trivial, or for a PR that I know I have a strong interest in already. > For pre-PEPs, the approach I now like is to make a local PR in my *fork* of > the PEPs repo. Then I'll only change it into a PR against the main repo when > it's time to assign a PEP number. Using PRs to manage the development of a PEP, whether leading up to submission or after initial submission, is fine. But I strongly prefer discussions on the content of a PEP to be handled in the actual discussion forum (mailing lists or Discourse).Too many people with an interest in the subject are likely to miss discussions happening on PRs. Paul _______________________________________________ Python-Dev mailing list -- python-dev@python.org To unsubscribe send an email to python-dev-le...@python.org https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://mail.python.org/archives/list/python-dev@python.org/message/JO75DRVEK325GI27GK4SMBNADA4BBQLC/ Code of Conduct: http://python.org/psf/codeofconduct/
