fix(ci): publish docs deployment

Signed-off-by: Frederic Pillon <frederic.pillon@st.com>

Author: fpistm

.github/workflows/publish-docs.yml

@@ -32,6 +32,10 @@ jobs:
         with:
           python-version: "3.x"
       - run: python -m pip install -r requirements-docs.txt
+      - name: Configure Git author
+        run: |
+          git config user.name "github-actions[bot]"
+          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
       - uses: actions/create-github-app-token@v1
         id: pages-token
         with:
@@ -50,7 +54,8 @@ jobs:
           if git ls-remote --exit-code --heads pages gh-pages >/dev/null; then
             mike deploy --remote pages --branch gh-pages --push dev
           else
-            mike deploy --remote pages --branch gh-pages --default dev --push dev
+            mike deploy --remote pages --branch gh-pages --push dev
+            mike set-default --remote pages --branch gh-pages --push dev
           fi
       - name: Publish release documentation
         if: startsWith(github.ref, 'refs/tags/')