We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 97c5879 commit bf7912cCopy full SHA for bf7912c
1 file changed
scripts/find-pr-info.sh
@@ -65,7 +65,7 @@ if [ -n "${GITHUB_TOKEN:-}" ]; then
65
auth_header=(-H "Authorization: Bearer ${GITHUB_TOKEN}")
66
fi
67
68
-if ! pr_json="$(curl -fsSL ${auth_header[@]+"${auth_header[@]}"} "https://api.github.com/repos/${repo}/pulls/${pr_number}")"; then
+if ! pr_json="$(curl -fsSL "${auth_header[@]}" "https://api.github.com/repos/${repo}/pulls/${pr_number}")"; then
69
curl_rc=$?
70
echo "error: curl failed ($curl_rc) fetching PR #${pr_number} from ${repo}" >&2
71
exit 1
0 commit comments