Update GitLab remote URL with authentication token

Author: dheesen

.github/workflows/sync-pr-to-gitlab.yml

@@ -45,12 +45,17 @@ jobs:
           if [ -z "$GITLAB_REPO_URL" ]; then
             echo "GITLAB_REPO_URL secret is not set"; exit 1;
           fi
+          if [ -z "$GITLAB_TOKEN" ]; then
+            echo "GITLAB_TOKEN secret is not set"; exit 1;
+          fi
 
           git config user.name "github-actions[bot]"
           git config user.email "github-actions[bot]@users.noreply.github.com"
+          
+          AUTHED_URL="${GITLAB_REPO_URL/https:\/\//https:\/\/oauth2:${GITLAB_TOKEN}@}"
 
-          echo "Adding GitLab remote: $GITLAB_REPO_URL"
-          git remote add gitlab "$GITLAB_REPO_URL"
+          echo "Adding GitLab remote"
+          git remote add gitlab "$AUTHED_URL"
 
           echo "Pushing branch to GitLab as $PR_BRANCH"
           git push gitlab HEAD:"$PR_BRANCH" --force