-
Notifications
You must be signed in to change notification settings - Fork 18
IngCr3at1on edited this page May 25, 2012
·
9 revisions
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/repoThan from your working directory remove the old repo binaries and manifest.
rm -rf .repo/repo
rm -rf .repo/manifests .repo/manifests.git .repo/manifest.xmlAfter that reinitialize the repo according to the directions included with your manifest of choice.
More common with syncing than building but it is relatively possible, 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
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.