Are there any alternate mirrors for downloading Android Source Presently I am trying to download the android 4.0 source from 

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


The package and project paths are accessible here https://android.googlesource.com/platform/manifest/+/c4e4db1a85b9bea00b9fe8c6a18f9d3357adab0c/default.xml

Currently I am using ubuntu based curl , gitcore and repo to download the source. 

I tried to search but could not find any public HTTP or FTP mirrors that shares the entire source code in a compressed iso or rar file. Is anyone aware of such public mirrors.
Here are the mirrors I know of. GitHub I know is an "up to date" mirror, not sure about the rest.


GitHub
Code Aurora