Android Source nicht erreichbar?

Hallo liebe Gemeinde,

ich versuche gerade Android Source herunterzuladen,
nach diese Anleitung hier
http://source.android.com/source/downloading.html
und es scheitert schon daran, dass das Repo-Tool nicht
erreichbar ist.

Habe ich etwas verpasst? Geht das nicht mehr?
Oder ist es nur ein vorübergehendes Problem?

Vielen Dank.

kernel.org war für ein paar Wochen offline. Erst seit ein paar Tagen läuft der Betrieb langsam wieder an.

-----
Tankbuch Mobil | Wuala Music Player | Wuala Sync | GaCoMo

Ich finde irgendwie nichts dazu bei Google.
Hat das etwas damit zu tun, dass die im Sommer gehackt wurden?
Das ist doch schon was her. Verstehe ich nicht.

Ist aber so.

Gib mal bei Google folgendes ein: "android sources kernel.org hacked". Das gibt 2,8 Millionen Treffer.

-----
Tankbuch Mobil | Wuala Music Player | Wuala Sync | GaCoMo

Unglaublich. Wie lange brauchen die denn um sich zu "erholen", 1 Jahr?

Naja die müssen ja auch sicher gehen nicht sofort wieder gehackt zu werden und das der Quellcode nicht gehackt wurde und mit Schadsoftware ausgestattet wurde.