How does <remove-project> work in repo manifest?


I’ve been using repo for quiet a long time now but never bothered to know what <remove-project> in manifest.xml does.

What does <remove-project> do — it doesn’t download the project at all or it downloads it but removes it from codebase later?

It’s here somewhere but I’m pretty bad at reading python.

Asked By: Chinmay



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.

Answered By: phd