Fix mike configuration for copy alias type

drivendataorg · Feb 11, 2024 · 22c1976 · 22c1976
1 parent 80603e2
commit 22c1976
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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
@@ -60,6 +60,7 @@ plugins:
             group_by_category: true
             show_category_heading: true
   - mike:
+      alias_type: copy
       canonical_version: stable
 
 extra: