diff --git a/sync.sh b/sync.sh index f968aa6..f12c43e 100755 --- a/sync.sh +++ b/sync.sh @@ -125,6 +125,7 @@ for repo in $REPOS ; do else cd "$repo" git reset --quiet --hard origin/HEAD + git remote prune origin git pull --quiet fi echo "== $repo =="