From 02389acdec45009312e3f1b3e22b6023d7a6c1ba Mon Sep 17 00:00:00 2001
From: Gabriel Rozzonelli <62215635+rozzong@users.noreply.github.com>
Date: Fri, 18 Aug 2023 10:45:54 +0200
Subject: [PATCH] Update GitHub Actions bot user name and email

---
 run.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/run.sh b/run.sh
index a1a2353..5ad08da 100644
--- a/run.sh
+++ b/run.sh
@@ -18,8 +18,8 @@ rm split.py
 
 echo "Commiting and pushing"
 
-git config --global user.email "action@github.com"
-git config --global user.name "GitHub Actions Bot"
+git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
+git config --global user.name "github-actions[bot]"
 
 git add ${INPUT_ROOT_FOLDER}${INPUT_OUTPUT_FOLDER} ${INPUT_OUTPUT_MD} > /dev/null
 git diff-index --quiet HEAD || git commit -m "Compile MD" --quiet
@@ -28,4 +28,4 @@ remote_repo="https://${GITHUB_ACTOR}:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSIT
 
 git push "${remote_repo}" --quiet
 
-echo "Done!"
\ No newline at end of file
+echo "Done!"