diff options
Diffstat (limited to 'linaro_metrics/sync_github_changes.py')
-rwxr-xr-x | linaro_metrics/sync_github_changes.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/linaro_metrics/sync_github_changes.py b/linaro_metrics/sync_github_changes.py index 1452a43..12dfc21 100755 --- a/linaro_metrics/sync_github_changes.py +++ b/linaro_metrics/sync_github_changes.py @@ -54,6 +54,7 @@ GITHUB_REPOS = [ ('linaro-swg', 'gen_rootfs', 'optee_gen_rootfs'), ('linaro-swg', 'bios_qemu_tz_arm', 'optee_bios_qemu_tz_arm'), ('linaro-swg', 'hello_world', 'optee_hello_world'), + ('mr-provisioner', 'mr-provisioner', 'mr-provisioner'), ('scheduler-tools', 'rt-app', 'rt-app'), ('WebPlatformForEmbedded', 'meta-wpe', 'meta-wpe'), ('WebPlatformForEmbedded', 'WPEWebKit', 'WPEWebKit'), |