Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 13:40:08 +01:00
Code Issues Projects Releases Packages Wiki Activity

Bug 1509027 - Use more restricted scope for Treeherder routes

Browse source 
https://bugzilla.mozilla.org/show_bug.cgi?id=1509027
This commit is contained in:
Simon Sapin 2018-12-08 01:58:36 +01:00
parent 3c19cd49ec
commit d4442f0f73
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/taskcluster/decision_task.py
View file

@ -11,7 +11,7 @@ from decisionlib import *
def main(task_for, mock=False):
if task_for == "github-push":
if CONFIG.git_ref in ["refs/heads/auto", "refs/heads/try", "refs/heads/try-taskcluster"]:
CONFIG.treeherder_repo_name = "servo/servo-" + CONFIG.git_ref.split("/")[-1]
CONFIG.treeherder_repo_name = "servo-" + CONFIG.git_ref.split("/")[-1]
linux_tidy_unit()
android_arm32()