Mike set default version for redirect and better history (#1422)

Author: SubhadityaMukherjee

.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