fix for deploy 4

Author: rambaut

.github/workflows/release.yml

@@ -151,6 +151,9 @@ jobs:
       contents: write
     steps:
       - uses: actions/checkout@v4
+        with:
+          ref: main
+          fetch-depth: 0
 
       - name: Setup Node.js
         uses: actions/setup-node@v4
@@ -201,6 +204,4 @@ jobs:
           git config user.email "github-actions[bot]@users.noreply.github.com"
           git add -f docs/
           git diff --cached --quiet || git commit -m "chore: deploy ${{ github.ref_name }} to docs/ [skip ci]"
-          # Rebase onto whatever the parallel build jobs may have pushed, then push.
-          git pull --rebase --autostash "https://x-access-token:${GITHUB_TOKEN}@github.com/${{ github.repository }}.git" main
           git push "https://x-access-token:${GITHUB_TOKEN}@github.com/${{ github.repository }}.git" HEAD:main