This is all OT for this thread. If you would like to start a new discussion
about changing the PEP process so discussion threads are tracked more
thoroughly then please do.
On Fri, Mar 8, 2019 at 12:29 AM Victor Stinner wrote:
> Hi Brett,
>
> I like to see discussions where a PEP has been discus
Yeah, such list is more convenient than just "Post-History:
14-Aug-2001, 03-Sept-2001".
Victor
Le ven. 8 mars 2019 à 09:40, Jeroen Demeyer a écrit :
>
> On 2019-03-08 09:29, Victor Stinner wrote:
> > I would like to suggest to add URLs to the first messages of all
> > threads about a PEP...
>
>
On 2019-03-08 09:29, Victor Stinner wrote:
I would like to suggest to add URLs to the first messages of all
threads about a PEP...
Like this?
https://www.python.org/dev/peps/pep-0580/#discussion
___
Python-Dev mailing list
Python-Dev@python.org
https
Hi Brett,
I like to see discussions where a PEP has been disccussed. There is
the "Post History" just gives dates. The problem is that PEPs are
discussed on 3 mailing lists: python-ideas, python-dev and
python-committers. Maybe some PEP are now also discussed on
discuss.python.org.
Do you have an
https://github.com/python/peps/blob/master/pep-0012.rst now has a complete
list of header fields along with format clues for easier copy-and-paste use
in creating a new PEP. There is also a section template with one-liner
explanations for what each section is for so people don't accidentally
leave
