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 4ee05e5 commit 61a57ddCopy full SHA for 61a57dd
.github/workflows/ci-lib.yml
@@ -78,7 +78,7 @@ jobs:
78
read -r -a UPSTREAM_PR_PARAMS <<< "$(gh pr view \
79
--repo 'idris-lang/Idris2' \
80
--json "headRepositoryOwner,headRepository,headRefOid" \
81
- --jq '.headRepositoryOwner.name,.headRepository.name,.headRefOid' \
+ --jq '.headRepositoryOwner.login,.headRepository.name,.headRefOid' \
82
"$UPSTREAM_PR_NUM" | \
83
tr '\n' ' ')"
84
{ echo "UPSTREAM_PR_USER=${UPSTREAM_PR_PARAMS[0]}"
0 commit comments