diff --git a/.gitlab-ci-scripts/set-prerel-version.sh b/.gitlab-ci-scripts/set-prerel-version.sh
index 006a7602d7e5087bee34a2d96c7e700ac9b6f968..abccf277cf8b226796bf16421de479cb49d9bdf1 100755
--- a/.gitlab-ci-scripts/set-prerel-version.sh
+++ b/.gitlab-ci-scripts/set-prerel-version.sh
@@ -22,7 +22,10 @@ while [ $# -gt 0 ]; do
   esac
 done
 
-echo "$CI"
+git config user.email
+
+echo "CI: $CI"
+
 [ "x${CI}" = "xtrue" ] && {
     echo "Setting up git in CI"
     git config --global --add safe.directory "$PWD"
@@ -49,9 +52,7 @@ PR_VERSION="${VERSION}-${DEVSTRING}${PREREL}"
 echo "$PR_VERSION" > "$VERSION_FILE"
 echo "$PR_VERSION"
 
-TILDE_VERSION="$(echo "$PR_VERSION" | sed 's/-/~/g')"
-
 echo "$PR_VERSION" > "$VERSION_FILE"
 git add "$VERSION_FILE"
 git commit -m "dummy prerel version"
-git tag "v${TILDE_VERSION}"
+git tag "v${PR_VERSION}"