Set git config user information in update workflow

And also allow it to be triggered manually.
wikimedia · Mar 29, 2024 · 9c93d00 · 9c93d00
1 parent 28d34a7
commit 9c93d00
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml
@@ -2,6 +2,7 @@ name: Update
 on:
   schedule:
     - cron: '0 0 * * *'
+  workflow_dispatch:
 
 jobs:
   update:
@@ -21,6 +22,8 @@ jobs:
           # commands error out, even though this should be already be set by
           # actions/checkout.
           git config --global --add safe.directory "$GITHUB_WORKSPACE"
+          git config --global user.email "cool-updating-bot@mediawiki.org"
+          git config --global user.name "Cool updating bot"
           gh repo set-default wikimedia/mediawiki-docker
           git checkout -b auto-update
           ./update.py --commit --pr