Add explicit Git user configuration in documentation update workflow

- Configure Git user name and email before committing
- Ensure proper user attribution for automated documentation updates

Author: Chivier

.github/workflows/update_docs.yml

@@ -44,5 +44,7 @@ jobs:
       - run: |
           cd html-en 
           git add .
+          git config user.name "Chivier"
+          git config user.email "[email protected]"
           git commit -m 'update docs'
-          git push
+          git push -u origin main