From 946e41e59d4693915726be043f27765ebac4a26d Mon Sep 17 00:00:00 2001 From: Martin Robinson Date: Tue, 18 Jun 2024 18:38:26 +0200 Subject: [PATCH] ci: Use a servo.org email address for the servo-wpt-sync GitHub bot (#32515) This is the new address of the WPT sync bot. Signed-off-by: Martin Robinson --- .github/workflows/scheduled-wpt-import.yml | 2 +- python/wpt/export.py | 2 +- python/wpt/update.py | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/scheduled-wpt-import.yml b/.github/workflows/scheduled-wpt-import.yml index 1b56743d801..78213b10813 100644 --- a/.github/workflows/scheduled-wpt-import.yml +++ b/.github/workflows/scheduled-wpt-import.yml @@ -42,7 +42,7 @@ jobs: python3 ./mach bootstrap - name: Add upstream remote run: | - git config --local user.email "josh+wptsync@joshmatthews.net" + git config --local user.email "ghbot+wpt-sync@servo.org" git config --local user.name "WPT Sync Bot" git remote add upstream https://github.com/servo/servo.git git fetch --unshallow upstream diff --git a/python/wpt/export.py b/python/wpt/export.py index a8753ceaee9..6860a7a8ed9 100755 --- a/python/wpt/export.py +++ b/python/wpt/export.py @@ -33,7 +33,7 @@ def main() -> int: github_api_token=os.environ['WPT_SYNC_TOKEN'], github_api_url='https://api.github.com/', github_username='servo-wpt-sync', - github_email='josh+wptsync@joshmatthews.net', + github_email='ghbot+wpt-sync@servo.org', github_name='Servo WPT Sync', ).run(context["event"]) return 0 if success else 1 diff --git a/python/wpt/update.py b/python/wpt/update.py index 138bcfb2233..42c424eb9e2 100644 --- a/python/wpt/update.py +++ b/python/wpt/update.py @@ -27,7 +27,7 @@ def do_sync(**kwargs) -> int: # Commits should always be authored by the GitHub Actions bot. os.environ["GIT_AUTHOR_NAME"] = "Servo WPT Sync" - os.environ["GIT_AUTHOR_EMAIL"] = "josh+wptsync@joshmatthews.net" + os.environ["GIT_AUTHOR_EMAIL"] = "ghbot+wpt-sync@servo.org" os.environ["GIT_COMMITTER_NAME"] = os.environ['GIT_AUTHOR_NAME'] os.environ["GIT_COMMITTER_EMAIL"] = os.environ['GIT_AUTHOR_EMAIL']