From 87e9c3a39f5f40a56af184789634678b8182c1d6 Mon Sep 17 00:00:00 2001
From: Anthony van Winkle <avanwinkle@users.noreply.github.com>
Date: Mon, 12 Aug 2024 11:52:17 -0700
Subject: [PATCH] Manually fetch and pull gh-pages branch (again)

---
 .github/workflows/deploy-version.yaml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/deploy-version.yaml b/.github/workflows/deploy-version.yaml
index f25c3d0eab..7ddf407757 100644
--- 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 docs@dummy.bot.com
 
+      - 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: |