Update GitHub Actions workflow for documentation updates: configure Git user details for automated commits and adjust push command to ensure proper branch tracking.

Author: Chivier

.github/workflows/update_docs.yml

@@ -57,5 +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 commit -m 'update docs'
-          git push
+          git push -u origin master