diff options
| author | Martin Robinson <mrobinson@igalia.com> | 2024-06-18 18:38:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-18 16:38:26 +0000 |
| commit | 946e41e59d4693915726be043f27765ebac4a26d (patch) | |
| tree | 9e62f0e31af16e7749259a044d823954570a2a7a /python | |
| parent | 70982dfa5aaf176a46308aa4075128e8edd53da2 (diff) | |
| download | servo-946e41e59d4693915726be043f27765ebac4a26d.tar.gz servo-946e41e59d4693915726be043f27765ebac4a26d.zip | |
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 <mrobinson@igalia.com>
Diffstat (limited to 'python')
| -rwxr-xr-x | python/wpt/export.py | 2 | ||||
| -rw-r--r-- | python/wpt/update.py | 2 |
2 files changed, 2 insertions, 2 deletions
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'] |