diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-11-07 10:13:36 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-07 10:13:36 -0500 |
commit | 9c7efd9151bff29192f40bcc0efec5a7e87a6a80 (patch) | |
tree | 9dd1bf1e54a889727340fece95b10ca5435e029a /python/servo/testing_commands.py | |
parent | da2d9b2228441863feba2af2a60f84d2657fb962 (diff) | |
parent | d1b5ece9aa22847f15889ab02da0042a563589e4 (diff) | |
download | servo-9c7efd9151bff29192f40bcc0efec5a7e87a6a80.tar.gz servo-9c7efd9151bff29192f40bcc0efec5a7e87a6a80.zip |
Auto merge of #22127 - Darkspirit:https_intermittent_tracker, r=jdm
Connect to intermittent trackers via https
This is the last part of #22088.
Each https url returns the same with curl as its previous http variant, so it should be a safe change.
And https has already been used at this place in the past: https://github.com/servo/servo/commit/38474f8671d17dfce992ebf6b6dda905a5de5b1b
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/22127)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/testing_commands.py')
-rw-r--r-- | python/servo/testing_commands.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/python/servo/testing_commands.py b/python/servo/testing_commands.py index 771d1746351..1a4f24716e1 100644 --- a/python/servo/testing_commands.py +++ b/python/servo/testing_commands.py @@ -507,7 +507,7 @@ class MachCommands(CommandBase): for failure in failures: if tracker_api: if tracker_api == 'default': - tracker_api = "http://build.servo.org/intermittent-tracker" + tracker_api = "https://build.servo.org/intermittent-tracker" elif tracker_api.endswith('/'): tracker_api = tracker_api[0:-1] @@ -535,7 +535,7 @@ class MachCommands(CommandBase): if reporter_api: if reporter_api == 'default': - reporter_api = "http://build.servo.org/intermittent-failure-tracker" + reporter_api = "https://build.servo.org/intermittent-failure-tracker" if reporter_api.endswith('/'): reporter_api = reporter_api[0:-1] reported = set() |