ci: fetch before push, use force-with-lease

.github/workflows/sync-to-gitea.yml

@@ -18,12 +18,16 @@ jobs:
 
       - name: Push to Gitea high-performance
         env:
+          GITEA_USERNAME: Admin
           GITEA_TOKEN: ${{ secrets.GITEA_SECRET }}
         run: |
-          echo "Syncing nxtgauge-frontend-solid:main → Gitea high-performance"
+          set -euo pipefail
+          echo "Syncing ${{ github.event.repository.name }}:main → Gitea high-performance"
           echo "Commit: $(git rev-parse HEAD)"
 
-          git remote add gitea "https://Admin:${GITEA_TOKEN}@ci.nxtgauge.com/Admin/nxtgauge-frontend-solid.git"
-          git push gitea main:high-performance --force-with-lease
+          git remote add gitea "https://${GITEA_USERNAME}:${GITEA_TOKEN}@ci.nxtgauge.com/Admin/${{ github.event.repository.name }}.git"
+
+          git fetch gitea high-performance || true
+          git push gitea HEAD:high-performance --force-with-lease=refs/heads/high-performance
 
           echo "Sync complete!"