CyanogenMod/android — comment on commit 86da05c57f010fb717ea9d027a374f497bc597ba
File:  line 0
By wjb:

Another workaround is to add the following remote definition:

Then change the project definition to:

Once things are back to normal, you can remove the additional remote, and restore the original manifest.