Set global git config

Author: xavierfoucrier

.github/workflows/deploy-docs.yml

@@ -23,8 +23,8 @@ jobs:
       - name: Deploy the website to the master branch
         run: |
           cd docs/.vuepress/dist
-          git config user.name "Xavier Foucrier"
-          git config user.email "xavier.foucrier@gmail.com"
+          git config --global user.name "GitHub Actions Bot"
+          git config --global user.email "action@github.com"
           git init
           git add -A
           git commit -m "Deploy docs"