The only documentation about googles 'repo' tool for android repository management was:
https://sites.google.com/a/android.com/opensource/download/using-repo
This was less than nothing: the available help is the same as when typing:
repo help
Does anyone know another source of documentation?
I explicitly want to know how to revert local changes: -of a git repository that is part of the 'repo' -of the repo '/manifest' folder or other 'repo' changes
manifest-format.txt
on the web at code.google.com/p/git-repo/source/browse/docs/… – Guarino