change repo url

datavisyn · Nov 15, 2024 · 807241e · 807241e
1 parent 6077d00
commit 807241e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-single-product-part.yml b/.github/workflows/build-single-product-part.yml
@@ -142,7 +142,7 @@ jobs:
           cd "./tmp/$COMPONENT"
           repository="$REPO"
           if [[ $repository == *"gitlab"* && -n $GITLAB_TOKEN ]] ; then
-            repository=${repository/"https://"/"https://$GITLAB_TOKEN@"}
+            repository=https://$GITLAB_TOKEN@${repository}}
           else
             repository=https://[email protected]/${repository}.git
           fi