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

This commit is contained in:
Tracewebstudio Dev 2026-04-19 16:00:05 +02:00
parent 575d060d60
commit a08075e015

View file

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