Manually fetch and pull gh-pages branch (again)

missionpinball · Aug 12, 2024 · 87e9c3a · 87e9c3a
1 parent 29f72e6
commit 87e9c3a
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/deploy-version.yaml b/.github/workflows/deploy-version.yaml
@@ -33,6 +33,13 @@ jobs:
           git config --global user.name Docs deploy
           git config --global user.email [email protected]
 
+      - name: Fetch gh-pages branch
+        run: |
+          git fetch
+          git checkout gh-pages
+          git pull
+          git checkout ${{ github.ref_name }}
+
       - name: Publish 0.80 website and API reference
         if: ${{ github.ref_name == '0.80' }}
         run: |