From eb20e1ebd0f51daed8d5ef22bc446209be131e29 Mon Sep 17 00:00:00 2001
From: Josh Matthews <josh@joshmatthews.net>
Date: Wed, 15 May 2019 12:40:56 -0400
Subject: [PATCH] Improve output for local WPT sync runs.

---
 etc/ci/update-wpt-checkout | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/ci/update-wpt-checkout b/etc/ci/update-wpt-checkout
index c8b3ece372d..6049ad848c3 100755
--- a/etc/ci/update-wpt-checkout
+++ b/etc/ci/update-wpt-checkout
@@ -91,12 +91,12 @@ function unsafe_open_pull_request() {
     # is unnecessary.
     git checkout "${BRANCH_NAME}" || return 0
 
-    if [[ -z "${WPT_SYNC_TOKEN+set}" ]]; then
+    if [[ -z "${WPT_SYNC_TOKEN+set}" && "${TASKCLUSTER_PROXY_URL+set}" == "set" ]]; then
         SECRET_RESPONSE=$(curl ${TASKCLUSTER_PROXY_URL}/secrets/v1/secret/project/servo/wpt-sync)
         WPT_SYNC_TOKEN=`echo "${SECRET_RESPONSE}" | jq --raw-output '.secret.token'`
     fi
 
-    if [[ -z "${WPT_SYNC_TOKEN}" ]]; then
+    if [[ -z "${WPT_SYNC_TOKEN+set}" ]]; then
         echo "Github auth token missing from WPT_SYNC_TOKEN."
         return 1
     fi