Pypi redirect

[Ryan Schmidt]

On Nov 19, 2013, at 12:07, Peter Danecek wrote:

> On Nov 19, 2013, at 19:02 , Ryan Schmidt wrote:
> 
>> Yes, and then we’d want to update all ports specifying a pypi URL in their master_sites.
> 
> Not sure if this is really helpful. 
> I am not a committer and the changes are relatively trivial. So creating tickets, which are the committed by some else might be quite some overhead, right?

I’d be fine with adding this to the mirror_sites, then doing a single commit to change all ports to use it.