ci: github api use token for pull requests (#1099)

This commit is contained in:
gabriel klawitter
2020-05-15 16:56:02 +05:30
committed by GitHub
parent 41f234f39d
commit 6f1d6e9dcc
+2 -2
View File
@@ -24,7 +24,7 @@ check_tag () {
if [ -n "$GITHUB_RELEASE_TOKEN" ]; then
tag_out=$(curl -H "Authorization: token $GITHUB_RELEASE_TOKEN" -s "$api_base/$repo/git/refs/tags/$tagver")
else
tag_out=$(curl -s "$api_base/$repo/git/refs/tags/$tagver")
tag_out=$(curl -H "Authorization: token $GITHUB_PR_TOKEN" -s "$api_base/$repo/git/refs/tags/$tagver")
fi
tag_sha=$(echo "$tag_out" | jq -r .object.sha)
object_url=$(echo "$tag_out" | jq -r .object.url)
@@ -53,7 +53,7 @@ has_label(){
if [ -n "$GITHUB_RELEASE_TOKEN" ]; then
out=$(curl -H "Authorization: token $GITHUB_RELEASE_TOKEN" -s "$api_base/$repo/pulls/$pr_id")
else
out=$(curl -s "$api_base/$repo/pulls/$pr_id")
out=$(curl -H "Authorization: token $GITHUB_PR_TOKEN" -s "$api_base/$repo/pulls/$pr_id")
fi
[ -n "$(echo "$out" | tr -d '\r\n' | jq ".labels | .[] | select(.name==\"$label\")")" ]
}