no longer tag with stir_rel_5.0.0 etc [skip ci]

just use rel_5.0.0
UCL · Mar 22, 2022 · 06a68d1 · 06a68d1
1 parent d7cc43d
commit 06a68d1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/maintenance/make_distribution.sh b/scripts/maintenance/make_distribution.sh
@@ -177,10 +177,10 @@ if [ $do_git_commit = 1 ]; then
     if git rev-parse "$TAG" >/dev/null 2>&1; then
         echo "git tag $TAG exists!. Removing"
         git tag -d $TAG
-        git tag -d stir_$TAG
+        # git tag -d stir_$TAG
     fi
     git tag -a $TAG -m "version $VERSION";
-    git tag -a stir_$TAG -m "version $VERSION";
+    # git tag -a stir_$TAG -m "version $VERSION";
 else
     echo "no git commit/tagging"
 fi