ci: use bot

Author: jcs090218

.github/workflows/docs.yml

@@ -40,8 +40,8 @@ jobs:
       continue-on-error: true
       run: |
         cd './build'
-        git config user.name github-actions
-        git config user.email github-actions@github.com
+        git config user.name "github-actions[bot]"
+        git config user.email "github-actions[bot]@users.noreply.github.com"
         git add .
         git commit -m "Update pages"
         git push