Prune branhes that are deleted upstream

ansible/roles/git-mirrors/templates/update-mirrors.sh.j2

@@ -3,15 +3,15 @@
 set -u
 
 # Base location of all mirrors
-MIRRORS_BASE_DIR="/srv/git-mirrors/mirrored"
+MIRRORS_BASE_DIR="{{ git_mirrors_base_dir }}/mirrored"
 
 # Locate repositories knowing that there will be a HEAD file inside them
 FOUND_REPOS=$(find "$MIRRORS_BASE_DIR" -name "HEAD" | xargs dirname)
 
 for repo in $FOUND_REPOS; do
     cd "$repo";
     echo "Updating $repo mirror..."
-    if ! git fetch -q; then
+    if ! git fetch -q --prune; then
         echo "Error: Failed to update repository $repo"
         exit 1
     fi