On Wed, Mar 08, 2017 at 09:50:06AM -0500, Barry Warsaw <ba...@python.org> wrote:
> On Mar 08, 2017, at 10:38 PM, Nick Coghlan wrote:
>
> >Withdrawing the PEP is just a matter of submitting a PR to change the state
> >to Withdrawn, so it doesn't actually break any links. It's helpful to add a
> >short "PEP Withdrawal" section to say why it's withdrawn though, and you'd
> >be able to link to the wiki.python.org page from there.
>
> We don't have a great Status for obsolete informational PEPs, so Withdrawn is
> about as good as it gets. I've heard little parrots ask whether the whole PEP
> can just be deleted, implying the number could be reused in the future. I
> *really* don't want for that to ever be possible.
>
> Maybe change the status to "This is an Ex-PEP" or "This PEP is pining for the
> fiords".
>
> It's also okay to remove much of the content and just leave a placeholder.
> The historical record would of course always be available in the vcs.
Thanks! That's what I've planned to do in case we don't remove PEPs.
> Cheers,
> -Barry
Oleg.
--
Oleg Broytman http://phdru.name/ p...@phdru.name
Programmers don't die, they just GOSUB without RETURN.
_______________________________________________
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
