Fetch gh-pages branch before mike deploy

missionpinball · Aug 12, 2024 · 17f2b7c · 17f2b7c
1 parent 226cf8b
commit 17f2b7c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -33,4 +33,7 @@ jobs:
         run: |
           git config user.name "mike-ci-bot"
           git config user.email "[email protected]"
+          git checkout gh-pages
+          git fetch
+          git pull
           mike deploy --push 0.57 latest