Remove hardcoded Git user configuration in documentation update workflow

Author: Chivier

.github/workflows/update_docs.yml

@@ -44,7 +44,5 @@ 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