What is the repo tool manifest format?

Question

I used the repo command line for a new project based on many Git repositories. What is the manifest format? I did not find any specification / guide / documentation about this.

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:// [e-mail] "/> <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 documents, I post them here to be useful to others;)

• Enter the repo help manifest command (from comment by Edward Falk )
• Edit the .repo/repo/docs/manifest-format.txt (from Bjarc Freind-Hansen answer )
• Go to https://gerrit.googlesource.com/git-repo/+/master/docs/manifest-format.txt (from David Fraser 's comment )

Answer 2

I found this question to search for the copyfile tag and after searching in the source code I found this in repo/manifest_xml.py

 def _ParseCopyFile(self, project, node): src = self._reqatt(node, 'src') dest = self._reqatt(node, 'dest') if not self.IsMirror: # src is project relative; # dest is relative to the top of the tree project.AddCopyFile(src, dest, os.path.join(self.topdir, dest)) 

therefore, <copyfile> copies the file from this project to the file, as described in the dest attribute (but relative to the top of the tree).