fix credentials (#1758)

.github/workflows/release-docs.yml

@@ -19,15 +19,17 @@ jobs:
         uses: actions/checkout@v5
         with:
           fetch-depth: 0  # Fetch all history for proper gh-pages deployment
-          persist-credentials: false
+          persist-credentials: true  # So that the token is available for pushing
       
       - name: Set up Python
         uses: actions/setup-python@v6
         with:
           python-version: '3.x'
+
+      - name: Install dependencies
+        run: |
+          pip install -r docs/requirements-docs.txt
       
       - name: Deploy docs
         run: |
-          set -eux  # fail on error
-          pip install -r docs/requirements-docs.txt
           mkdocs gh-deploy