On 10/17/2018 8:32 PM, Facundo Batista wrote: > Hola! > > tl;dr: can we have a (semi)permanent redirect from pypi.python.org to pypi.org? pypi is run by a different group from pydev core developers. Maybe someone here know what the current list is. -- Terry Jan Reedy