#14: Provide option to specify version of the release.

annoviko · Oct 7, 2021 · 64f9817 · 64f9817
1 parent 545bd5a
commit 64f9817
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ci/github-ci-release.sh b/ci/github-ci-release.sh
@@ -14,6 +14,7 @@ git config --global user.name $HTTPCTRL_USERNAME
 echo "[INFO] Assign new version to the library (user provided value '$REQUESTED_VERSION')."
 
 if [ -z "$REQUESTED_VERSION" ]
+then
     # generate new version by increment
     echo "[INFO] Read current version of the library and increment it."