CyanogenMod/android — comment on commit 8327388862650b77646d7ae9e633df2bfae3ec9c
File:  line 0
By IngCr3at1on:

Yeah probably be better to change the primary remote back to ssh, should be faster and a bit more stable anyway. The only repo that doesn't pull properly from ssh is prebuilt (same as the ICS branch), I would think the best solution would be a secondary remote just like the fix applied in the ICS manifest. Just a thought.