chg: [deployment] git rid of the moved remote tag

2021-05-12 10:34:52 +02:00 · 2021-05-12 10:34:52 +02:00 · 196e3f3601
parent 65335bf43c
commit 196e3f3601
1 changed files with 1 additions and 1 deletions
--- 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