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
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.