diff --git a/resources/build/run-required-test-builds.sh b/resources/build/run-required-test-builds.sh index 0ef9e43f9c..218383d159 100755 --- a/resources/build/run-required-test-builds.sh +++ b/resources/build/run-required-test-builds.sh @@ -90,7 +90,7 @@ fi # echo ". Get information about pull request #$PRNUM from GitHub" -prinfo=`curl -s -H "User-Agent: @keymanapp" https://api.github.com/repos/keymanapp/keyman/pulls/$PRNUM` +prinfo=`curl -s -H "User-Agent: @keymanapp" -H "Authorization: Bearer $GITHUB_TOKEN" https://api.github.com/repos/keymanapp/keyman/pulls/$PRNUM` prbase=`echo ${prinfo} | "$JQ" -r '.base.ref'` prhead=`echo ${prinfo} | "$JQ" -r '.head.ref'` prbaserepo=`echo ${prinfo} | "$JQ" -r '.base.repo.html_url'`