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

Use better variable quoting style.

Browse source
This commit is contained in:
Josh Matthews 2019-05-09 10:39:16 -04:00 • committed by GitHub
parent ed995c79b7
commit 3fa2668afc
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/ci/update-wpt-checkout
View file

@ -92,7 +92,7 @@ function unsafe_open_pull_request() {
git checkout "${BRANCH_NAME}" || return 0 git checkout "${BRANCH_NAME}" || return 0
if [[ -z "${WPT_SYNC_TOKEN+set}" ]]; then if [[ -z "${WPT_SYNC_TOKEN+set}" ]]; then
SECRET_RESPONSE=$(curl $TASKCLUSTER_PROXY_URL/api/secrets/v1/secret/project/servo/wpt-sync) SECRET_RESPONSE=$(curl ${TASKCLUSTER_PROXY_URL}/secrets/v1/secret/project/servo/wpt-sync)
WPT_SYNC_TOKEN=`echo "${SECRET_RESPONSE}" | jq '.secret.token'` WPT_SYNC_TOKEN=`echo "${SECRET_RESPONSE}" | jq '.secret.token'`
fi fi