Android 'repo' documentation available?

Question

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

Answer 1

Documentation about repo is a bit hard to come about, as you have discovered.

In addition to your link, the repo help <subject> commands are very useful. E.g. repo help manifest and repo help sync are quite well described.

Also if you look in your .repo/repo/docs/manifest-format.txt there are very decent description of the manifest system used by the Android repo program.

If you discover additional resources of information on repo I would be very interested in hearing about it. :)