Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-22 23:03:42 +01:00
Code Issues Projects Releases Packages Wiki Activity

ci: Use a servo.org email address for the servo-wpt-sync GitHub bot (#32515)

Browse source 
This is the new address of the WPT sync bot.

Signed-off-by: Martin Robinson <mrobinson@igalia.com>
This commit is contained in:
Martin Robinson 2024-06-18 18:38:26 +02:00 • committed by GitHub
parent 70982dfa5a
commit 946e41e59d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/wpt/export.py
View file

@ -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