What is the manifest format of the Android repo tool?

Question

I've used the repo command line for a new project based on many Git repositories. What is the manifest format? I haven't found any specification/manual/documentation about it.

For example this is a simplified default.xml

<manifest>
  <remote  name="aosp" fetch="https://android.googlesource.com" review="android-review.googlesource.com"/>
  <remote  name="github" fetch=".." review="review.cyanogenmod.org"/>
  <remote  name="private" fetch="ssh://[email protected]"/>
  <default revision="refs/tags/1.3-1" remote="github" sync-c="true" sync-j="4"/>
  <project path="build" name="CyanogenMod/android_build">
    <copyfile src="core/root.mk" dest="Makefile"/>
  </project>
  <project path="android" name="CyanogenMod/android"/>
  <project path="abi/cpp" name="CyanogenMod/android_abi_cpp"/>
</manifest>

Answer 1

I finally found some documentations, I post them here to be useful for others ;)

1. Enter the command repo help manifest (from Edward Falk's comment)
2. Edit the file .repo/repo/docs/manifest-format.txt (from Bjarke Freund-Hansen's answer)
3. Go to https://gerrit.googlesource.com/git-repo/+/master/docs/manifest-format.txt (from David Fraser's comment)