clean --reclone: also delete local tags

diff --git a/misc/tools/all/git.subr b/misc/tools/all/git.subr
index b2b84231922f130de612fabe87c0205d2149e315..93fb004042496f4b7beee6d72e509ecc0c608bc1 100644 (file)
--- a/misc/tools/all/git.subr
+++ b/misc/tools/all/git.subr
@@ -660,6 +660,9 @@ case "$cmd" in
                                        bra=`git config "branch.$r.merge" || $ECHO "$r"`
                                        upstream="$rem/${bra#refs/heads/}"
                                        if $fetchupstream; then
+                                               for t in `git tag`; do
+                                                       verbose git tag -d "$t"
+                                               done
                                                verbose git fetch "$rem"
                                                verbose git remote prune "$rem"
                                        fi