add pull before badge push

trhallam · Aug 15, 2024 · 4d08986 · 4d08986
1 parent 08250a4
commit 4d08986
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/mkdocs-publish.yml b/.github/workflows/mkdocs-publish.yml
@@ -59,6 +59,7 @@ jobs:
         if: always()
         run: |
           git checkout gh-pages
+          git pull
           if [ ! -d $MKDOCS_VERSION ]; then mkdir $MKDOCS_VERSION; fi
           echo '{"schemaVersion":1,"label":"Docs","message":"${{ env.BADGE_MSG }}","color":"${{ env.BADGE_COLOUR }}","namedLogo":"materialformkdocs","logoColor":"white"}' | tee ./$MKDOCS_VERSION/badge-mkdocs.json
           git add ./$MKDOCS_VERSION/badge-mkdocs.json