clean --reclone: also delete local tags

2025-02-08 22:47:33 +00:00 · 2012-03-06 20:25:08 +01:00 · 2012-03-06 20:25:08 +01:00 · cef8370975
commit cef8370975
parent 3a518633f9
1 changed files with 3 additions and 0 deletions
--- 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