From 196e3f3601ceb93be9655cf729f87331209c36fd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Bonhomme?= <cedric@cedricbonhomme.org>
Date: Wed, 12 May 2021 10:34:52 +0200
Subject: [PATCH] chg: [deployment] git rid of the moved remote tag

---
 scripts/update-all.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/update-all.sh b/scripts/update-all.sh
index 3e0e923..67bec2c 100755
--- a/scripts/update-all.sh
+++ b/scripts/update-all.sh
@@ -32,7 +32,7 @@ done
 checkout_to_latest_tag() {
   if [ -d $1 ]; then
     pushd $1
-    git fetch --tags
+    git fetch --tags -f
     tag=$(git describe --tags)
     git checkout $tag
     #git pull origin $tag