From e9b1e5e82f0c1b5e0f7c3b7ccea1ca05bc69a8f3 Mon Sep 17 00:00:00 2001
From: SimonBoothroyd <simon.boothroyd@hotmail.com>
Date: Mon, 19 Feb 2024 20:43:57 -0500
Subject: [PATCH] Don't pull GH branch when building docs

---
 .github/workflows/docs.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 0aac474..4444718 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -41,8 +41,8 @@ jobs:
         git config --global --add safe.directory "$PWD"
         git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}
 
-        git pull origin gh-pages
         git fetch --all --prune
+        git pull origin gh-pages
 
         make env