mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-10-15 04:52:40 +08:00
If a line is blank in project.list, its not a relevant project path, so skip over it. Existing project.list files may have blank lines if sync was run with no projects at all, and the file was created empty. Signed-off-by: Shawn O. Pearce <sop@google.com>