From 06a68d1916fae9cb9d8d2b76e477be016340272f Mon Sep 17 00:00:00 2001
From: Kris Thielemans <k.thielemans@ucl.ac.uk>
Date: Tue, 22 Mar 2022 20:14:45 +0000
Subject: [PATCH] no longer tag with stir_rel_5.0.0 etc [skip ci]

just use rel_5.0.0
---
 scripts/maintenance/make_distribution.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/maintenance/make_distribution.sh b/scripts/maintenance/make_distribution.sh
index c29480e952..6e8bc169a5 100755
--- 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