[Python-ideas] Rename python-dev?

[Antoine Pitrou]

On Thu, 09 Jul 2015 14:11:36 -0500
Ryan Gonzalez <rymg19 at gmail.com> wrote:

> This is a crazy idea that popped into my head recently.
> 
> What if python-dev were to be renamed to something like python-internals? (Yeah, that's a bad name, but my naming skills suck...) Basically, something that gets across the idea that it's for development of Python, not in Python.

We don't really get many people making the mistake, so I think it's ok
to keep it as-is.

Regards

Antoine.