ci: tfix setup_workspace script

kalisio · Jul 4, 2024 · 8918467 · 8918467
1 parent 76b51c9
commit 8918467
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/scripts/setup_workspace.sh b/scripts/setup_workspace.sh
@@ -5,6 +5,7 @@ set -euo pipefail
 THIS_FILE=$(readlink -f "${BASH_SOURCE[0]}")
 THIS_DIR=$(dirname "$THIS_FILE")
 ROOT_DIR=$(dirname "$THIS_DIR")
+WORKSPACE_DIR="$(dirname "$ROOT_DIR")"
 
 . "$THIS_DIR/kash/kash.sh"
 
@@ -13,10 +14,7 @@ ROOT_DIR=$(dirname "$THIS_DIR")
 
 begin_group "Setting up workspace ..."
 
-if [ "$CI" = true ]; then
-    WORKSPACE_DIR="$(dirname "$ROOT_DIR")"
-    DEVELOPMENT_REPO_URL="https://$GITHUB_DEVELOPMENT_TOKEN@github.com/kalisio/development.git"
-else
+if [ "$CI" != true ]; then
     while getopts "b:t" option; do
         case $option in
             b) # defines branch
@@ -30,12 +28,11 @@ else
 
     shift $((OPTIND-1))
     WORKSPACE_DIR="$1"
-    DEVELOPMENT_REPO_URL="$GITHUB_URL/kalisio/development.git"
 
     # Clone project in the workspace
     git_shallow_clone "$GITHUB_URL/kalisio/vitepress-theme-kalisio.git" "$WORKSPACE_DIR/vitepress-theme-kalisio" "${WORKSPACE_TAG:-${WORKSPACE_BRANCH:-}}"
 fi
 
-setup_workspace "$WORKSPACE_DIR" "$DEVELOPMENT_REPO_URL"
+setup_workspace "$WORKSPACE_DIR" "$KALISIO_GITHUB_URL/kalisio/development.git"
 
 end_group "Setting up workspace ..."