From 9c93d006829ab2b60986bdcd768c3a1a1c4f4d63 Mon Sep 17 00:00:00 2001 From: Kunal Mehta Date: Thu, 28 Mar 2024 20:12:01 -0400 Subject: [PATCH] Set git config user information in update workflow And also allow it to be triggered manually. --- .github/workflows/update.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml index 5457ecb..d9e2e8d 100644 --- 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