mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2026-06-13 16:30:58 +08:00
74cfd2709b
By passing --prune to the sync command, the --prune option is given to the `git fetch`, causing refs that no longer exist on the remote to be removed. Change-Id: I3cedacce14276d96ac2d5aabf2d07fd05e92bc02