Update GitHub Actions workflow to change commit author details for documentation updates, replacing the default GitHub Actions bot with specific user information.

Author: Chivier

.github/workflows/update_docs.yml

@@ -57,7 +57,7 @@ jobs:
       - run: |
           cd html-en 
           git add .
-          git config user.name "github-actions[bot]"
-          git config user.email "github-actions[bot]@users.noreply.github.com"
+          git config user.name "Chivier"
+          git config user.email "chivier.humber@outlook.com"
           git commit -m 'update docs'
           git push -u origin main