From 22c19768be3458a7fa39af1ed53a858007cc7888 Mon Sep 17 00:00:00 2001
From: Jay Qi <jayqi@users.noreply.github.com>
Date: Sun, 11 Feb 2024 12:45:42 -0500
Subject: [PATCH] Fix mike configuration for copy alias type

---
 .github/workflows/release.yml | 2 +-
 docs/mkdocs.yml               | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index f87e0e8f..a5d324ac 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -76,7 +76,7 @@ jobs:
           echo $OLD_STABLE
           mike retitle stable $OLD_STABLE
           # Deploy new version as stable
-          mike deploy --push --update-aliases --no-redirect \
+          mike deploy --push --update-aliases \
             ${{ steps.version.outputs.major_minor_version }} \
             stable \
             --title="${{ github.event.release.tag_name }} (stable)"
diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
index 90e459b7..6ed7b920 100644
--- a/docs/mkdocs.yml
+++ b/docs/mkdocs.yml
@@ -60,6 +60,7 @@ plugins:
             group_by_category: true
             show_category_heading: true
   - mike:
+      alias_type: copy
       canonical_version: stable
 
 extra: