From 768cf4750ae5e9e749b0cae6d2e8c4339cc9a5bc Mon Sep 17 00:00:00 2001
From: Subhaditya Mukherjee
 <26865436+SubhadityaMukherjee@users.noreply.github.com>
Date: Thu, 19 Jun 2025 15:46:08 +0200
Subject: [PATCH] Mike set default version for redirect and better history

---
 .github/workflows/docs.yaml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 229c3fbd9..906f6340b 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -23,6 +23,8 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
       - name: Setup Python
         uses: actions/setup-python@v5
         with:
@@ -43,7 +45,6 @@ jobs:
           # mkdocs gh-deploy --force
           git config user.name doc-bot
           git config user.email doc-bot@openml.com
-          git fetch --tags
           current_version=$(git tag | sort --version-sort | tail -n 1)
           # This block will rename previous retitled versions
           retitled_versions=$(mike list -j | jq ".[] | select(.title != .version) | .version" | tr -d '"')
@@ -52,10 +53,11 @@ jobs:
           done
 
           echo "Deploying docs for ${current_version}"
+          mike set-default latest
           mike deploy \
             --push \
             --title "${current_version} (latest)" \
             --update-aliases \
             "${current_version}" \
             "latest"\
-            -b $PAGES_BRANCH
+            -b $PAGES_BRANCH origin/$PAGES_BRANCH