mirror of
https://github.com/servo/servo.git
synced 2025-08-05 05:30:08 +01:00
Fix python2ism in doc upload.
This commit is contained in:
parent
5b8f045f2b
commit
2e205ecafc
1 changed files with 2 additions and 1 deletions
|
@ -8,6 +8,7 @@ import os.path
|
||||||
import decisionlib
|
import decisionlib
|
||||||
import functools
|
import functools
|
||||||
from decisionlib import CONFIG, SHARED
|
from decisionlib import CONFIG, SHARED
|
||||||
|
from urllib.request import urlopen
|
||||||
|
|
||||||
|
|
||||||
def main(task_for):
|
def main(task_for):
|
||||||
|
@ -240,7 +241,7 @@ def upload_docs():
|
||||||
import urllib, json, os
|
import urllib, 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.urlopen(url))["secret"]["token"]
|
token = json.load(urlopen(url))["secret"]["token"]
|
||||||
open("/root/.git-credentials", "w").write("https://git:%s@github.com/" % token)
|
open("/root/.git-credentials", "w").write("https://git:%s@github.com/" % token)
|
||||||
""")
|
""")
|
||||||
.with_script("""
|
.with_script("""
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue