mirror of
https://github.com/servo/servo.git
synced 2025-08-06 14:10:11 +01:00
Remove more Taskcluster and Treeherder integration
Servo no longer uses Taskcluster and Treeherder, so this change removes script references to those services and support files.
This commit is contained in:
parent
d579bd91b8
commit
bc3abf9953
25 changed files with 11 additions and 2174 deletions
|
@ -101,11 +101,6 @@ function unsafe_open_pull_request() {
|
|||
# is unnecessary.
|
||||
git checkout "${BRANCH_NAME}" || return 0
|
||||
|
||||
if [[ -z "${WPT_SYNC_TOKEN+set}" && "${TASKCLUSTER_PROXY_URL+set}" == "set" ]]; then
|
||||
SECRET_RESPONSE=$(curl ${TASKCLUSTER_PROXY_URL}/api/secrets/v1/secret/project/servo/wpt-sync)
|
||||
WPT_SYNC_TOKEN=`echo "${SECRET_RESPONSE}" | jq --raw-output '.secret.token'`
|
||||
fi
|
||||
|
||||
if [[ -z "${WPT_SYNC_TOKEN+set}" ]]; then
|
||||
echo "Github auth token missing from WPT_SYNC_TOKEN."
|
||||
return 1
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue