]> git.djapps.eu Git - pkg/ggml/sources/llama.cpp/commitdiff
scripts : follow api redirects in pr2wt.sh (#18739)
authorSigbjørn Skjæret <redacted>
Sat, 10 Jan 2026 15:04:05 +0000 (16:04 +0100)
committerGitHub <redacted>
Sat, 10 Jan 2026 15:04:05 +0000 (16:04 +0100)
scripts/pr2wt.sh

index 8e5d89462c588697a0d26a276d8bde0e6107eb82..bd635f3b9d86b49d75a1c6675b67acd49f6261f5 100755 (executable)
@@ -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')