[python-committers] PEP process with github

[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 doesn't really work well there.

My suggestion (which is basically what we've been doing with PEP 514)
is that PEP discussions are acceptable on the tracker, but comments on
the core list should be monitored as well (and responded to on-list).
When the PEP is ready for acceptance, a posting of the final version
should be made to the list, and the acceptance email should be posted
to the list (so that there's a permanent record of the acceptance,
which can be linked to in the PEP).

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?

Paul