Re: [Python-Dev] PEP 12 updated with templates for header fields and sections
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 discussed. 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 any recommendation to refer to these discussions? > > I would like to suggest to add URLs to the first messages of all > threads about a PEP... Well... I know that for PEP 572, this list > would be hard to create and maybe not really useful. Maybe not add > links to *all* threads, but only the most actives or most "useful" > threads? The PEP author would be free to decide which threads are > important or not ;-) > > The status quo (Post History header) is fine, if I really want to find > these discussions, I'm able to find them from dates :-) > > Victor > > Le ven. 8 mars 2019 à 01:42, Brett Cannon a écrit : > > > > 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 anything out. They are not in a single, unified template > to copy to partially make sure people actually read the PEP before they > start writing. :) > > ___ > > Python-Dev mailing list > > Python-Dev@python.org > > https://mail.python.org/mailman/listinfo/python-dev > > Unsubscribe: > https://mail.python.org/mailman/options/python-dev/vstinner%40redhat.com > > > > -- > Night gathers, and now my watch begins. It shall not end until my death. > ___ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
Re: [Python-Dev] PEP 12 updated with templates for header fields and sections
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... > > Like this? > > https://www.python.org/dev/peps/pep-0580/#discussion > ___ > Python-Dev mailing list > Python-Dev@python.org > https://mail.python.org/mailman/listinfo/python-dev > Unsubscribe: > https://mail.python.org/mailman/options/python-dev/vstinner%40redhat.com -- Night gathers, and now my watch begins. It shall not end until my death. ___ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
Re: [Python-Dev] PEP 12 updated with templates for header fields and sections
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://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
Re: [Python-Dev] PEP 12 updated with templates for header fields and sections
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 any recommendation to referer to these discussions? I would like to suggest to add URLs to the first messages of all threads about a PEP... Well... I know that for PEP 572, this list would be hard to create and maybe not really useful. Maybe not add links to *all* threads, but only the most actives or most "useful" threads? The PEP author would be free to decide which threads are important or not ;-) The status quo (Post History header) is fine, if I really want to find these discussions, I'm able to find them from dates :-) Victor Le ven. 8 mars 2019 à 01:42, Brett Cannon a écrit : > > 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 > anything out. They are not in a single, unified template to copy to partially > make sure people actually read the PEP before they start writing. :) > ___ > Python-Dev mailing list > Python-Dev@python.org > https://mail.python.org/mailman/listinfo/python-dev > Unsubscribe: > https://mail.python.org/mailman/options/python-dev/vstinner%40redhat.com -- Night gathers, and now my watch begins. It shall not end until my death. ___ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
[Python-Dev] PEP 12 updated with templates for header fields and sections
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 anything out. They are not in a single, unified template to copy to partially make sure people actually read the PEP before they start writing. :) ___ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com