We’ve already seen that repo relies on a manifest file, usually a file called default.xml in the android project. The copy that repo will use as its reference is saved as .repo/manifest.xml.
We’ve also said that we shouldn’t modify the .repo/manifest.xml manually!
The right way to modify the manifest.xml file would be to edit the android/default.xml, commit the change, and push it upstream and thenrepo sync . Doing so will update the .repo/manifest.xml copy, and everything will stay under (git & repo) control."
We’ve already seen that repo relies on a manifest file, usually a file called default.xml in the android project. The copy that repo will use as its reference is saved as .repo/manifest.xml.
We’ve also said that we shouldn’t modify the .repo/manifest.xml manually!
The right way to modify the manifest.xml file would be to edit the android/default.xml, commit the change, and push it upstream and thenrepo sync . Doing so will update the .repo/manifest.xml copy, and everything will stay under (git & repo) control."