Re: [python-committers] PEP process with github

2016-07-24 Thread Nick Coghlan
On 24 July 2016 at 05:15, Paul Moore wrote: > Is that reasonable? Does it need an update to PEP 1 to cover it? If > so, should I post a PR for PEP 1? Or is it obvious enough to be > assumed without needing the bureaucracy of updating PEP 1? One of the advantages of moving

Re: [python-committers] PEP process with github

2016-07-23 Thread Paul Moore
On 23 July 2016 at 21:24, Guido van Rossum wrote: > I encourage adding this flow to PEP 1 so that it's clear that it's > supported, and also to ensure that the flow doesn't ignore python-dev. OK, I'll pull together a PR for PEP 1. Paul

Re: [python-committers] PEP process with github

2016-07-23 Thread Brett Cannon
On Sat, Jul 23, 2016, 13:17 Brett Cannon wrote: > > > On Sat, Jul 23, 2016, 12:15 Paul Moore wrote: > >> With PEPs now being hosted on github, is there any specific process >> for handling reviews/discussions on the github tracker? PEP 1 doesn't >> mention

Re: [python-committers] PEP process with github

2016-07-23 Thread Guido van Rossum
I encourage adding this flow to PEP 1 so that it's clear that it's supported, and also to ensure that the flow doesn't ignore python-dev. On Sat, Jul 23, 2016 at 1:15 PM, Barry Warsaw wrote: > On Jul 23, 2016, at 08:15 PM, Paul Moore wrote: > >>With PEPs now being hosted on

Re: [python-committers] PEP process with github

2016-07-23 Thread Brett Cannon
On Sat, Jul 23, 2016, 12:15 Paul Moore wrote: > With PEPs now being hosted on github, is there any specific process > for handling reviews/discussions on the github tracker? PEP 1 doesn't > mention the matter, other than to note that discussions "may also > occur on a list

Re: [python-committers] PEP process with github

2016-07-23 Thread Barry Warsaw
On Jul 23, 2016, at 08:15 PM, Paul Moore wrote: >With PEPs now being hosted on github, is there any specific process >for handling reviews/discussions on the github tracker? PEP 1 doesn't >mention the matter, other than to note that discussions "may also >occur on a list other than python-dev"

[python-committers] PEP process with github

2016-07-23 Thread Paul Moore
With PEPs now being hosted on github, is there any specific process for handling reviews/discussions on the github tracker? PEP 1 doesn't mention the matter, other than to note that discussions "may also occur on a list other than python-dev" although the approach of having a Discussions-To header