scripts : follow api redirects in pr2wt.sh (#18739)

This commit is contained in:
Sigbjørn Skjæret
2026-01-10 16:04:05 +01:00
committed by GitHub
parent 23f82f2420
commit 7fdc8c893d

View File

@@ -40,7 +40,7 @@ org_repo=${org_repo%.git}
echo "org/repo: $org_repo"
meta=$(curl -sSf -H "Accept: application/vnd.github+json" "https://api.github.com/repos/$org_repo/pulls/$PR")
meta=$(curl -sSLf -H "Accept: application/vnd.github+json" "https://api.github.com/repos/$org_repo/pulls/$PR")
url_remote=$(echo "$meta" | jq -r '.head.repo.clone_url')
head_ref=$(echo "$meta" | jq -r '.head.ref')