diff --git a/Jenkinsfile b/Jenkinsfile index bf9aa591c2..7fff0400a2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -19,7 +19,7 @@ pipeline { script { if (env.BRANCH_NAME =~ /^PR-\d+$/) { def pr_number = sh (script: "echo ${env.BRANCH_NAME} | grep -o -E '[0-9]+' ", returnStdout: true) - def json = sh (script: "curl -s https://api.github.com/repos/crossplaneio/crossplane/pulls/${pr_number}", returnStdout: true).trim() + def json = sh (script: 'curl -s -H "Authorization: token ${GITHUB_UPBOUND_BOT}" https://api.github.com/repos/crossplaneio/crossplane/pulls/${pr_number}', returnStdout: true).trim() def body = evaluateJson(json,'${json.body}') if (body.contains("[skip ci]")) { echo ("'[skip ci]' spotted in PR body text.")