mirror of
https://gerrit.googlesource.com/git-repo
synced 2026-07-27 22:38:05 +00: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