Change git user.name and user.email (#71)

* Change git user.name and user.email github-actions[bot]@users.noreply.github.com * Make the script executable
skills · Mar 25, 2024 · 80e58f6 · 80e58f6
1 parent 0055789
commit 80e58f6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/script/initialize-repository.sh b/.github/script/initialize-repository.sh
@@ -19,8 +19,8 @@
 # through the course.
 
 # Setup committer identity
-git config user.name github-actions
-git config user.email github-actions@github.com
+git config user.name github-actions[bot]
+git config user.email github-actions[bot]@users.noreply.github.com
 
 # Fetch all remote branches
 git pull --all