Back to git fetch gh-pages branch

missionpinball · Aug 12, 2024 · 9b988d2 · 9b988d2
1 parent 2f494d4
commit 9b988d2
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/.github/workflows/deploy-version.yaml b/.github/workflows/deploy-version.yaml
@@ -30,22 +30,22 @@ jobs:
 
       - name: Configure github
         run: |
-          git config --global user.name Docs deploy
-          git config --global user.email [email protected].com
+          git config --global user.name "github-actions[bot]"
+          git config --global user.email "github-actions[bot]@users.noreply.github.com"
 
-      # - name: Fetch gh-pages branch
-      #   run: |
-      #     git fetch
-      #     git checkout gh-pages
-      #     git pull
-      #     git checkout ${{ github.ref_name }}
+      - name: Fetch gh-pages branch
+        run: |
+          git fetch
+          git checkout gh-pages
+          git pull
+          git checkout ${{ github.ref_name }}
 
       - name: Publish 0.80 website and API reference
         if: ${{ github.ref_name == '0.80' }}
         run: |
-          mike deploy --push --force --update-aliases 0.80 dev
+          mike deploy --push --update-aliases 0.80 dev
 
       - name: Publish latest docs website and API reference
         if: ${{ github.ref_name == 'main' }}
         run: |
-          mike deploy --push --force --update-aliases 0.57 latest
+          mike deploy --push --update-aliases 0.57 latest