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