Add user for runner push

Author: zephyrie

.github/workflows/build_docs.yaml

@@ -30,7 +30,10 @@ jobs:
 
     - name: Deploy to dist branch
       run: |
+        git config --global user.email "[email protected]"
+        git config --global user.name "GitHub Actions"
         git checkout -b dist
-        git add -f docs/build/html
+        git add -f /docs/build/html
         git commit -m "Deploy Sphinx documentation to dist branch"
         git push origin dist
+