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

Taskcluster: Don’t attempt to write to the index from unprivileged tasks

Browse source
This commit is contained in:
Simon Sapin 2019-01-07 15:06:56 +01:00
parent bc366d01a8
commit 7a628080ec
3 changed files with 7 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

1
etc/taskcluster/decision_task.py
View file

@ -74,6 +74,7 @@ def main(task_for):
elif task_for == "github-pull-request":
CONFIG.treeherder_repository_name = "servo-prs"
CONFIG.index_read_only = True
# We want the merge commit that GitHub creates for the PR.
# The event does contain a `pull_request.merge_commit_sha` key, but it is wrong: