fix: set mike default to stable so endstone.dev redirects correctly

Author: wu-vincent

.github/workflows/docs.yml

@@ -46,4 +46,6 @@ jobs:
       - if: github.ref == 'refs/heads/main'
         run: mike deploy --push latest
       - if: startsWith(github.ref, 'refs/tags/')
-        run: mike deploy --push --update-aliases ${{ github.ref_name }} stable
+        run: |
+          mike deploy --push --update-aliases ${{ github.ref_name }} stable
+          mike set-default --push stable