From 3270131f4c0733fc0e3e47311320571fc6611dfc Mon Sep 17 00:00:00 2001
From: florian <fpitance@bunkerity.com>
Date: Sat, 2 Dec 2023 20:37:30 +0100
Subject: [PATCH] ci/cd - fix mike deploy breaking change

---
 .github/workflows/push-doc.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/push-doc.yml b/.github/workflows/push-doc.yml
index 6f7ae50e..fe995d7c 100644
--- a/.github/workflows/push-doc.yml
+++ b/.github/workflows/push-doc.yml
@@ -35,7 +35,7 @@ jobs:
       - name: Install doc requirements
         run: pip install --no-cache-dir --require-hashes -r docs/requirements.txt
       - name: Push doc
-        run: mike deploy --update-aliases --push --no-redirect ${{ inputs.VERSION }} ${{ inputs.ALIAS }}
+        run: mike deploy --update-aliases --push --alias-type=copy ${{ inputs.VERSION }} ${{ inputs.ALIAS }}
       - name: Set default doc
         if: inputs.ALIAS == 'latest'
         run: mike set-default --push latest