From b371da0f0359d338b7688846d87667fd532c14a4 Mon Sep 17 00:00:00 2001
From: Biplov Bhandari <4207677+biplovbhandari@users.noreply.github.com>
Date: Thu, 3 Sep 2026 14:44:07 -0400
Subject: [PATCH] Fix mike workflow to not move latest alias on main push

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 95f74dd..a27e959 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -58,9 +58,7 @@ jobs:
 
       - name: Deploy dev docs (push to main)
         if: github.event_name == 'push' && github.ref == 'refs/heads/main'
-        run: |
-          mike deploy dev latest --update-aliases --push
-          mike set-default latest --push
+        run: mike deploy dev --push
 
       - name: Deploy versioned docs (tag push)
         if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags/v')
@@ -71,6 +69,4 @@ jobs:
 
       - name: Deploy docs (manual trigger)
         if: github.event_name == 'workflow_dispatch'
-        run: |
-          mike deploy dev latest --update-aliases --push
-          mike set-default latest --push
+        run: mike deploy dev --push