From bafd83f9f15140cc8bd0aea1a495b39f0345fae2 Mon Sep 17 00:00:00 2001
From: Janis Fix <janis_fix@web.de>
Date: Mon, 11 Sep 2023 12:47:56 +0200
Subject: [PATCH] Add gh-pages branch fetching before mike deploy

---
 .github/workflows/docs.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 13eef63..efb6872 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -37,5 +37,6 @@ jobs:
         run: |
           git config --local user.email "github-actions[bot]@users.noreply.github.com"
           git config --local user.name "github-actions[bot]"
+      - run: git fetch origin gh-pages --depth=1
       - run: mike deploy --push --update-aliases ${{ steps.read_toml.outputs.value }} latest
       - run: mike set-default --push latest
\ No newline at end of file