Update gh-pages before mike run, final

Signed-off-by: Roberto Di Cosmo <[email protected]>
swhid · Aug 9, 2023 · 08d1d06 · 08d1d06
1 parent 3234ae0
commit 08d1d06
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/publish-releases.yml b/.github/workflows/publish-releases.yml
@@ -11,7 +11,7 @@ jobs:
     runs-on: ubuntu-latest
     container: python:3
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v3
       with:
         ref: 'main'
     - name: Install pre-requisites
@@ -22,9 +22,10 @@ jobs:
       run: mkdocs build -v --clean
     - name: Configure Git user
       run: |
+         git config --global --add safe.directory '*'
+         git fetch origin gh-pages --depth=1
          git config --global user.email "github-actions[bot]@users.noreply.github.com"
          git config --global user.name "github-actions[bot]"
-	 git config --global --add safe.directory '*'
     - name: Deploy MkDoc with mike 🚀
       run: |
          mike deploy --push ${{ steps.extract_branch.outputs.branch }}