From 9b08cb4dc486d57a894836327775a4f3c86ffe36 Mon Sep 17 00:00:00 2001
From: Subhaditya Mukherjee
 <26865436+SubhadityaMukherjee@users.noreply.github.com>
Date: Thu, 19 Jun 2025 16:05:13 +0200
Subject: [PATCH] mike should be fixed now

---
 .github/workflows/docs.yaml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 906f6340b..b583b6423 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -42,7 +42,6 @@ jobs:
           PAGES_BRANCH: gh-pages
         if: (contains(github.ref, 'develop') || contains(github.ref, 'main')) && github.event_name == 'push'
         run: |
-          # mkdocs gh-deploy --force
           git config user.name doc-bot
           git config user.email doc-bot@openml.com
           current_version=$(git tag | sort --version-sort | tail -n 1)
@@ -60,4 +59,4 @@ jobs:
             --update-aliases \
             "${current_version}" \
             "latest"\
-            -b $PAGES_BRANCH origin/$PAGES_BRANCH
+            -b $PAGES_BRANCH