我一直在使用 repo
现在安静了很长时间,但从来没有想过要知道什么<remove-project>
在 manifest.xml
什么是<remove-project>
做 — 它根本不下载该项目,或者它下载它但稍后将其从代码库中删除?
是here某处,但我很不擅长阅读 python。
最佳答案
https://gerrit.googlesource.com/git-repo/+/master/docs/manifest-format.md#Element-remove_project
元素删除项目
Deletes the named project from the internal manifest table, possibly allowing a subsequent project element in the same manifest file to replace the project with a different source.
This element is mostly useful in a local manifest file, where the user can remove a project, and possibly replace it with their own definition.
关于android - <remove-project> 如何在 repo list 中工作?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/48119440/