ops(KDP): fix docs release errors

Author: piotrlaczkowski

.github/workflows/MANUAL_DOCS_PUBLISH.yml

@@ -39,14 +39,19 @@ jobs:
           poetry config virtualenvs.create false
           poetry install --only doc --no-interaction
 
+      - name: Fetch gh-pages branch
+        run: |
+          git config user.name "${{ github.actor }}"
+          git config user.email "${{ github.actor }}@users.noreply.github.com"
+
+          # Fetch the gh-pages branch
+          git fetch origin gh-pages:gh-pages || echo "No gh-pages branch exists yet"
+
       - name: Release documentation with mike
         id: deploy_docs
         run: |
           echo "Deploying documentation for version ${{ inputs.RELEASE_VERSION }}"
 
-          git config user.name "${{ github.actor }}"
-          git config user.email "${{ github.actor }}@users.noreply.github.com"
-
           # Set up command based on whether to update latest alias
           if [[ "${{ inputs.UPDATE_LATEST }}" == "true" ]]; then
             echo "Updating 'latest' alias to point to version ${{ inputs.RELEASE_VERSION }}"
@@ -64,12 +69,13 @@ jobs:
         if: steps.deploy_docs.outcome == 'failure'
         run: |
           echo "First documentation deploy attempt failed, retrying..."
-          sleep 10
-          git pull --rebase
+
+          # Force-fetch the latest gh-pages branch
+          git fetch origin gh-pages:gh-pages --force
 
           # Set up command based on whether to update latest alias
           if [[ "${{ inputs.UPDATE_LATEST }}" == "true" ]]; then
-            mike deploy --push --update-aliases ${{ inputs.RELEASE_VERSION }} latest
+            mike deploy --push --update-aliases --force ${{ inputs.RELEASE_VERSION }} latest
           else
-            mike deploy --push ${{ inputs.RELEASE_VERSION }}
+            mike deploy --push --force ${{ inputs.RELEASE_VERSION }}
           fi

.github/workflows/RELEASE.yml

@@ -187,14 +187,19 @@ jobs:
           poetry config virtualenvs.create false
           poetry install --only doc --no-interaction
 
+      - name: Fetch gh-pages branch
+        run: |
+          git config user.name "${{ github.actor }}"
+          git config user.email "${{ github.actor }}@users.noreply.github.com"
+
+          # Fetch the gh-pages branch
+          git fetch origin gh-pages:gh-pages || echo "No gh-pages branch exists yet"
+
       - name: Release documentation with mike
         id: deploy_docs
         run: |
           echo "Deploying documentation for version ${{ steps.get_docs_version.outputs.VERSION }}"
 
-          git config user.name "${{ github.actor }}"
-          git config user.email "${{ github.actor }}@users.noreply.github.com"
-
           # Attempt to deploy docs
           mike deploy --push --update-aliases ${{ steps.get_docs_version.outputs.VERSION }} latest
         continue-on-error: true
@@ -203,8 +208,9 @@ jobs:
         if: steps.deploy_docs.outcome == 'failure'
         run: |
           echo "First documentation deploy attempt failed, retrying..."
-          sleep 10
-          git pull --rebase
+
+          # Force-fetch the latest gh-pages branch
+          git fetch origin gh-pages:gh-pages --force
 
           # Use the version from recovery process
-          mike deploy --push --update-aliases ${{ steps.get_docs_version.outputs.VERSION }} latest
+          mike deploy --push --update-aliases --force ${{ steps.get_docs_version.outputs.VERSION }} latest