There are known issues:
If you are using an "ancient" version of repo OR you first initialized your repo
with an "ancient" version of repo, then it will cause problems. (Note: I did check
to make sure I had latest version of repo, which I did. However, apparently, my
repo was first initialized with an "ancient" version of repo.)
If you see errors such as:
"fatal: '../CyanogenMod/android.git' does not appear to be a git repository"
then you will need to make sure you have latest version of repo and that
your repo is re-initialized ("from scratch") with it.
Also, it does not work with SSH-based URLs.
To fix:
# get latest repo with:
curl
https://dl-ssl.google.com/dl/googlesource/git-repo/repo > ~/bin/repo
chmod a+x ~/bin/repo
# clear old repo software and manifests:
rm -rf .repo/repo
rm -rf .repo/manifests .repo/manifests.git .repo/manifest.xml
# re-initialize repo (make sure to include "-b branchname"):
# NOTE: It is suggested to use the URL below to init (SSH URLs do not work)
repo init -u
http://github.com/CyanogenMod/android.git -b ics
NOTE: Your git repo blobs should remain intact so you should not have to re-download them.