Hi--
When a project is deleted from a manifest, the next "repo sync" deletes the local copy of that project.
What is slightly surprising is that if the local copy of that project has unpublished changes (local branch not yet uploaded, or even just locally-modified files), the project is *also* deleted.
Is this working as intended? Is there a way to require use of --force-sync to delete dirty projects, or would that not be desirable for other reasons?
--Rob