fix: correct bad hostname in 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: "$GITLAB_URL/espressif/developer-portal.git"
         run: |
-          git remote add gitlab https://$GITLAB_USERNAME:$GITLAB_TOKEN@$GITLAB_REPO
+          GITLAB_REPO: "$GITLAB_URL/espressif/developer-portal.git"
+          git remote add gitlab "https://$GITLAB_USERNAME:$GITLAB_TOKEN@$GITLAB_REPO"
           git push gitlab main