mirror of
https://gerrit.googlesource.com/git-repo
synced 2025-04-22 14:09:50 +00:00
We have no working tree, so we cannot update the project.list state file, nor should we try to delete a directory if a project is removed from the manifest. Clients would still need the repository for historical records. Signed-off-by: Shawn O. Pearce <sop@google.com>
Description
Languages
Python
98.9%
Shell
1%
Roff
0.1%