redirect not refresh for mike

Author: niden

.github/workflows/deploy-documents.yml

@@ -92,7 +92,7 @@ jobs:
           git fetch --no-tags --prune --depth=1 origin +refs/heads/production:refs/remotes/origin/production
           mike deploy \
             --update-aliases \
-            --alias-type=refresh \
+            --alias-type=redirect \
             --branch production \
             --push \
             ${{ env.PH_DOCS_VERSION }} \