Add gh-pages branch fetching before mike deploy

automl · Sep 11, 2023 · bafd83f · bafd83f
1 parent 5fc79e7
commit bafd83f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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