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

Fix doc build.

Browse source
This commit is contained in:
Josh Matthews 2021-02-25 15:25:23 -05:00 • committed by GitHub
parent 9e928a487e
commit 4547a17121
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/taskcluster/decision_task.py
View file

@ -238,7 +238,7 @@ def upload_docs():
.with_features("taskclusterProxy") .with_features("taskclusterProxy")
.with_scopes("secrets:get:project/servo/doc.servo.org") .with_scopes("secrets:get:project/servo/doc.servo.org")
.with_env(PY="""if 1: .with_env(PY="""if 1:
import urllib, json, os import urllib.request, json, os
root_url = os.environ["TASKCLUSTER_PROXY_URL"] root_url = os.environ["TASKCLUSTER_PROXY_URL"]
url = root_url + "/api/secrets/v1/secret/project/servo/doc.servo.org" url = root_url + "/api/secrets/v1/secret/project/servo/doc.servo.org"
token = json.load(urllib.request.urlopen(url))["secret"]["token"] token = json.load(urllib.request.urlopen(url))["secret"]["token"]