Merge pull request #454 from chinapandaman/PPF-452

PPF-452: try fetch first
chinapandaman · Jan 20, 2024 · 5122d34 · 5122d34
2 parents ff25c9e + 5f3c30a
commit 5122d34
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
@@ -20,5 +20,6 @@ jobs:
         run: pip install mkdocs
       - name: Deploy docs to GitHub page
         run: |
+          git fetch
           mkdocs build
           mkdocs gh-deploy --force