Naja, ändert aber nichts daran, dass die Server offensichtlich ein riesiges Problem haben, dass immer noch nicht gelöst ist. Zu der von Dir verlinkten Seite kann man ja nur feststellen, dass ein Bild mehr sagt als tausend Worte. Aber der Text ist dann zusätzlich aufschlussreich: We're sorry, something went very wrong!
Ich habe die Repositories jetzt auf gwdg.de gelegt, schon deswegen, weil das der einzige deutsche Spiegelserver ist, der noch sämtliche Repositories enthält.