Make docs workflow idempotent by using --update-aliases flag (#36)

* Initial plan

* Make docs workflow idempotent by handling existing alias error

Co-authored-by: hzhangxyz <[email protected]>

* Use --update-aliases flag instead of error handling script

Co-authored-by: hzhangxyz <[email protected]>

---------

Co-authored-by: copilot-swe-agent[bot] <[email protected]>
Co-authored-by: hzhangxyz <[email protected]>

Author: Copilot

.github/workflows/docs.yml

@@ -31,7 +31,7 @@ jobs:
           git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
 
       - name: build docs
-        run: mike deploy --push ${GITHUB_REF#refs/tags/} latest
+        run: mike deploy --push --update-aliases ${GITHUB_REF#refs/tags/} latest
 
       - name: set default
         run: mike set-default --push latest