mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2026-01-05 05:20:56 +08:00
After sync, we delete obsolete project paths. Iterate and delete parent subdirs which are empty. Tested on projects within subdirectories.
After sync, we delete obsolete project paths. Iterate and delete parent subdirs which are empty. Tested on projects within subdirectories.