fix: correct URL for mirror-main-to-gitlab workflow

Author: f-hollow

.github/workflows/mirror-main-to-gitlab.yml

@@ -20,7 +20,7 @@ jobs:
           GITLAB_URL: ${{ secrets.GITLAB_SERVER_URL }}
           GITLAB_TOKEN: ${{ secrets.GITLAB_BOT_REPO_TOKEN }}
           GITLAB_USERNAME: "oauth2"
-          GITLAB_REPO: "https://$GITLAB_URL/espressif/developer-portal.git"
+          GITLAB_REPO: "$GITLAB_URL/espressif/developer-portal.git"
         run: |
           git remote add gitlab https://$GITLAB_USERNAME:$GITLAB_TOKEN@$GITLAB_REPO
           git push gitlab main