[JENKINS-MIGRATION] Hacking on website: adding git config
diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml
index ec52d1f..9726bd0 100644
--- a/.github/workflows/website.yml
+++ b/.github/workflows/website.yml
@@ -39,6 +39,8 @@
     # Runs a single command using the runners shell
     - name: Build Website
       run: |
+        git config user.name "GitHub Actions Bot"
+        git config user.email "<>"
         ./website/build_site.sh
         cp -r $WORKDIR/* .
         git add .