From 90a9d60974f445df3a7d35be5378a653920ba5dd Mon Sep 17 00:00:00 2001
From: zachmann <gabriel.zachmann@kit.edu>
Date: Thu, 24 Nov 2022 11:21:19 +0100
Subject: [PATCH] [ci] debug
---
.gitlab-ci-scripts/set-prerel-version.sh | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/.gitlab-ci-scripts/set-prerel-version.sh b/.gitlab-ci-scripts/set-prerel-version.sh
index 006a7602..abccf277 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}"
--
GitLab