diff options
Diffstat (limited to 'python/wpt/export.py')
-rwxr-xr-x | python/wpt/export.py | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/python/wpt/export.py b/python/wpt/export.py new file mode 100755 index 00000000000..a8753ceaee9 --- /dev/null +++ b/python/wpt/export.py @@ -0,0 +1,43 @@ +#!/usr/bin/env python + +# Copyright 2023 The Servo Project Developers. See the COPYRIGHT +# file at the top-level directory of this distribution. +# +# Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or +# http://www.apache.org/licenses/LICENSE-2.0> or the MIT license +# <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your +# option. This file may not be copied, modified, or distributed +# except according to those terms. + +# pylint: disable=missing-docstring +# pylint: disable=invalid-name + +import json +import logging +import os +import sys + +from exporter import WPTSync + + +def main() -> int: + context = json.loads(os.environ['GITHUB_CONTEXT']) + logging.getLogger().level = logging.INFO + + success = WPTSync( + servo_repo='servo/servo', + wpt_repo='web-platform-tests/wpt', + downstream_wpt_repo='servo-wpt-sync/web-platform-tests', + servo_path='./servo', + wpt_path='./wpt', + 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_name='Servo WPT Sync', + ).run(context["event"]) + return 0 if success else 1 + + +if __name__ == "__main__": + sys.exit(main()) |