ci: fix setup_workspace script

kalisio · May 24, 2024 · e2bf5db · e2bf5db
1 parent 3dae690
commit e2bf5db
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/scripts/setup_workspace.sh b/scripts/setup_workspace.sh
@@ -39,13 +39,12 @@ begin_group "Setting up workspace ..."
 
 if [ "$CI" = true ]; then
     WORKSPACE_DIR="$(dirname "$ROOT_DIR")"
-    DEVELOPMENT_REPO_URL="https://$GITHUB_DEVELOPMENT_PAT@github.com/kalisio/development.git"
+    DEVELOPMENT_REPO_URL="https://$GITHUB_DEVELOPMENT_TOKEN@github.com/kalisio/development.git"
 
     # workaround since repo is named 'kano' and in kli file it's 'maps'
     cd "$WORKSPACE_DIR"
     mv "kano" "maps" && ln -s "maps" "kano"
     cd ~-
-
 else
     shift $((OPTIND-1))
     WORKSPACE_DIR="$1"