Use cvc5-bot in GH workflow

cvc5 · Sep 13, 2024 · 532268e · 532268e
1 parent cf78757
commit 532268e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -26,8 +26,8 @@ jobs:
         ssh-agent -a $SSH_AUTH_SOCK > /dev/null
         ssh-add - <<< "${{ secrets.CVC5_WEBSITE_TOKEN }}"
 
-        git config --global user.email "webbot@cvc5"
-        git config --global user.name "WebBot"
+        git config --global user.email "cvc5[email protected]"
+        git config --global user.name "cvc5-bot"
         git clone [email protected]:cvc5/cvc5.github.io.git website/
 
         rm -r website/tutorials/beginners