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

Fix doc build under py3.

Browse source
This commit is contained in:
Josh Matthews 2021-02-24 23:03:27 -05:00 • committed by GitHub
parent 9a6ae55fd3
commit 04b89d1b53
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

@ -241,7 +241,7 @@ def upload_docs():
import urllib, json, os
root_url = os.environ["TASKCLUSTER_PROXY_URL"]
url = root_url + "/api/secrets/v1/secret/project/servo/doc.servo.org"
token = json.load(urlopen(url))["secret"]["token"]
token = json.load(urllib.request.urlopen(url))["secret"]["token"]
open("/root/.git-credentials", "w").write("https://git:%s@github.com/" % token)
""")
.with_script("""