chore: prune outstanding remotes

WeblateOrg · Nov 5, 2024 · d4117e8 · d4117e8
1 parent 9c61808
commit d4117e8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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 =="