docs: Fix 404 Redirect

Author: holtskinner

.github/scripts/deploy-docs.sh renamed to .github/scripts/deploy-404.sh

@@ -6,7 +6,7 @@ on:
       - main
     paths:
       - ".github/workflows/docs.yml"
-      - ".github/scripts/deploy-docs.sh"
+      - ".github/scripts/deploy-404.sh"
       - "requirements-docs.txt"
       - "mkdocs.yml"
       - "docs/**"
@@ -15,7 +15,7 @@ on:
       - main
     paths:
       - ".github/workflows/docs.yml"
-      - ".github/scripts/deploy-docs.sh"
+      - ".github/scripts/deploy-404.sh"
       - "requirements-docs.txt"
       - "mkdocs.yml"
       - "docs/**"
@@ -36,6 +36,7 @@ jobs:
       - name: Checkout Code
         uses: actions/checkout@v4
         with:
+          token: ${{ secrets.GITHUB_TOKEN }}
           fetch-depth: 0
 
       - name: Configure Git Credentials
@@ -66,16 +67,13 @@ jobs:
       - name: Deploy development version from main branch
         if: github.event_name == 'push' && github.ref == 'refs/heads/main'
         run: |
-          # Use the short commit hash as the version name for dev builds
-          echo "MIKE_VERSION=$(git rev-parse --short HEAD)" >> $GITHUB_ENV
-          echo "Deploying docs from main commit ${{ env.MIKE_VERSION }} to 'dev' and 'latest' aliases..."
-          mike deploy --push --update-aliases "${{ env.MIKE_VERSION }}" dev latest
+          mike deploy --push --update-aliases dev latest
 
           echo "Setting 'latest' as the default version for the site..."
           mike set-default --push latest
 
           # Deploy 404 page
-          bash .github/scripts/deploy-docs.sh ${{ github.repository }}
+          bash .github/scripts/deploy-404.sh ${{ github.repository }} ${{ secrets.GITHUB_TOKEN }}
 
       - name: Deploy new release version and set as latest
         if: github.event_name == 'release'
@@ -88,5 +86,5 @@ jobs:
           echo "Setting 'latest' as the default version for the site..."
           mike set-default --push latest
 
-          # Deploy 404 page
-          bash .github/scripts/deploy-docs.sh ${{ github.repository }}
+          # Call the reusable script to deploy the 404 page, passing the token
+          bash .github/scripts/deploy-404.sh ${{ github.repository }} ${{ secrets.GITHUB_TOKEN }}

.github/workflows/docs.yml

@@ -6,7 +6,7 @@ site_description: >-
 site_dir: site
 
 extra:
-  a2a_version: !ENV [MIKE_VERSION, 'local-dev']
+  a2a_version: !ENV [MIKE_VERSION, 'dev']
 
 # Navigation
 nav:
@@ -140,6 +140,7 @@ plugins:
   - redirects:
       redirect_maps:
         "spec-json.md": https://raw.githubusercontent.com/a2aproject/A2A/refs/heads/main/specification/json/a2a.json
+        "specification/overview.md": "specification.md"
         "specification/agent-card.md": "specification.md#5-agent-discovery-the-agent-card"
         "specification/agent-to-agent-communication.md": "specification.md#6-protocol-data-objects"
         "specification/sample-messages.md": "specification.md#9-common-workflows-examples"