add git user

riseclipse · Jun 14, 2024 · 6b615a5 · 6b615a5
1 parent 0988700
commit 6b615a5
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/Build-Documentation.yml b/.github/workflows/Build-Documentation.yml
@@ -57,9 +57,14 @@ jobs:
       run: |
         cp -r ${{ github.event.repository.name }}/fr.centralesupelec.edf.riseclipse.python.launcher/docs/_build/html riseclipse-temporary/python-launcher-docs/
 
-    - name: Commit and push to GitHub
+    - name: Configure Git User
       run: |
         cd riseclipse-temporary
+        git config user.email [email protected]
+        git config user.name "GitHub Actions"
+
+    - name: Commit and push to GitHub
+      run: |
         git add --all
         git commit -m "New version of documentation of python-launcher"
         git push