Improve GitHub Actions by conditionally mirroring to GitLab

Adjust the GitHub Actions release workflow to conditionally mirror to GitLab based on the presence of a GitLab token, and move the conditional logic to the step level.

Replit-Commit-Author: Agent
Replit-Commit-Session-Id: 1117a91e-7ac6-4005-bde2-487c64d5789f
Replit-Commit-Checkpoint-Type: intermediate_checkpoint
Replit-Commit-Event-Id: 51c7d9fe-116b-45f8-88a3-276833367093
Replit-Commit-Screenshot-Url: https://storage.googleapis.com/screenshot-production-us-central1/afc5b6d1-cfc6-4564-802f-661c3d73f96b/1117a91e-7ac6-4005-bde2-487c64d5789f/EPF6XUK

Author: manfredsteger

.github/workflows/release.yml

@@ -196,16 +196,19 @@ jobs:
     name: Mirror to GitLab
     runs-on: ubuntu-latest
     needs: github-release
-    if: ${{ secrets.GITLAB_TOKEN != '' }}
     steps:
       - name: Checkout
         uses: actions/checkout@v4
+        if: ${{ env.HAS_GITLAB_TOKEN == 'true' }}
         with:
           fetch-depth: 0
 
       - name: Push to GitLab
+        if: ${{ env.HAS_GITLAB_TOKEN == 'true' }}
         env:
           GITLAB_TOKEN: ${{ secrets.GITLAB_TOKEN }}
         run: |
           git remote add gitlab https://oauth2:${GITLAB_TOKEN}@projekte.services.kita.bayern/entwicklung/termine/polly.git 2>/dev/null || true
           git push gitlab ${GITHUB_REF} 2>/dev/null || echo "GitLab mirror push skipped (token not set or access denied)"
+    env:
+      HAS_GITLAB_TOKEN: ${{ secrets.GITLAB_TOKEN != '' }}