<remove-project> 在回购清单中如何工作？
How does <remove-project> work in repo manifest?
我已经使用 repo 很长时间了，但从来没有费心去了解 manifest.xml 中的 <remove-project> 的作用。
<remove-project> 有什么作用 — 根本不下载 项目，或者下载 但删除项目稍后从代码库中获取？
它是 here 某处，但我很不擅长阅读 python。
https://gerrit.googlesource.com/git-repo/+/master/docs/manifest-format.txt
元素删除项目
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.
我已经使用 repo 很长时间了，但从来没有费心去了解 manifest.xml 中的 <remove-project> 的作用。
<remove-project> 有什么作用 — 根本不下载 项目，或者下载 但删除项目稍后从代码库中获取？
它是 here 某处，但我很不擅长阅读 python。
https://gerrit.googlesource.com/git-repo/+/master/docs/manifest-format.txt
元素删除项目
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.