Existe-t-il des miroirs alternatifs pour télécharger Android Source ?

Actuellement, j'essaie de télécharger la source d'Android 4.0 à partir de

https://android.googlesource.com/platform/manifest -b android-4.0.1_r1

Les chemins du paquet et du projet sont accessibles ici https://android.googlesource.com/platform/manifest/+/c4e4db1a85b9bea00b9fe8c6a18f9d3357adab0c/default.xml

Actuellement, j'utilise curl, gitcore et repo pour télécharger les sources sous Ubuntu.

J'ai essayé de chercher mais je n'ai pas trouvé de miroir public HTTP ou FTP qui partage le code source complet dans un fichier iso ou rar compressé. Quelqu'un connaît-il de tels miroirs publics ?