Bueno parece que ya me funciona repo correctamente. El problema era que el comando no se copiava bien porqué la página web no existia (devía estar desactualizada) para solucionarlo simplemente e seguido las instrucciones de
http://source.android.com/source/downloading.html "installing repo". Ahora estoy sincronizando para compilarlo ...