From f87937272f51da6656304ddbdb413d55cabfc732 Mon Sep 17 00:00:00 2001
From: Samuel Burbulla <s.burbulla@appliedai-institute.de>
Date: Tue, 20 Aug 2024 14:51:56 +0200
Subject: [PATCH] Pull gh-pages in workflow.

---
 .github/workflows/docs.yml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index b0d25ed0..ee67505d 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -20,6 +20,12 @@ jobs:
         run: |
           git config user.name github-actions[bot]
           git config user.email github-actions[bot]@users.noreply.github.com
+      - name: Pull gh-pages
+        run: |
+          git fetch origin gh-pages:gh-pages
+          git checkout gh-pages
+          git pull origin gh-pages
+          git checkout main
       - name: Setup Python
         uses: actions/setup-python@v5
         with:
@@ -39,4 +45,4 @@ jobs:
         run: mike deploy --push --update-aliases ${{ env.CURRENT_VERSION }} latest
       - name: Publish development
         if: ${{ github.event_name == 'push' }}
-        run: mike deploy development --push
+        run: mike deploy --push development