-
Notifications
You must be signed in to change notification settings - Fork 18
This can occur when you are running an old version of repo or if an external issue causes the sync to fail (such as a timeout).
To resolve this make sure you have the latest version of repo.
curl https://dl-ssl.google.com/dl/googlesource/git-repo/repo > ~/bin/repo
chmod a+x ~/bin/repo
Than from your working directory remove the old repo binaries and manifest.
rm -rf .repo/repo
rm -rf .repo/manifests .repo/manifests.git .repo/manifest.xml
After that reinitialize the repo according to the directions included with your manifest of choice.
If you still have issues after that repeat the above rm commands and try initializing the repo again with http in place of git (or vice verse if already using http)
In most cases unless the machine is entirely locked up; try holding down 'ctrl' and 'z'
Assuming you have already tested your code and confirmed it's working you will want to familiarize yourself with git.
Github:Help has an extensive help page setup with all this information
In addition to the above Github and Code School have recently created an interactive git tutorial: Try Git
Once you are setup fork the offending repo and open a pull request. One of us will check it (when able) and barring errors likely merge it.