build: fix deploy (#7257)

2024-05-03 10:03:01 +02:00
parent b7f96ed579
commit 343495faa4
1 changed files with 1 additions and 1 deletions
@@ -188,7 +188,7 @@ jobs:
      - name: Deploy
        run: |
          git remote add deploy $REPO_URL
-          git push deploy main:master --force
+          git push deploy ${{ github.ref_name }}:master --force
        env:
          # This avoids a failure when the client does not know the SSH Host already
          GIT_SSH_COMMAND: "ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no"