Ensure git is proper configured for mike deploy

See: https://github.com/jimporter/mike#deploying-via-ci

Author: cirras

.github/workflows/release.yml

@@ -65,7 +65,11 @@ jobs:
         uses: battila7/get-version-action@v2
 
       - name: Deploy documentation
-        run: hatch run docs:deploy ${{ steps.get-version.outputs.version-without-v }}
+        run: |
+          git fetch origin gh-pages --depth=1
+          git config user.name github-actions
+          git config user.email [email protected]
+          hatch run docs:deploy ${{ steps.get-version.outputs.version-without-v }}
  
   publish-github:
     needs: publish-docs