Re: Is anyone else having problems with repo.magento.com?

I doubt they've updated it. I've tried 3 different servers + my local dev, all the same issue.