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

android repository android-source
Edit
Report