Searched refs:PR_DATA (Results 1 – 1 of 1) sorted by relevance
95 PR_DATA=$(curl -s -u "$GITHUB_USER:$GITHUB_TOKEN" \99 STATE=$(echo "$PR_DATA" | jq -r '.state')101 TARGET_COMMITS=$(echo "$PR_DATA" | jq -r '.merge_commit_sha')102 FETCH_HEAD_REF=$(echo "$PR_DATA" | jq -r '.base.ref')103 SOURCE_REPO=$(echo "$PR_DATA" | jq -r '.base.repo.full_name')105 COMMITS_URL=$(echo "$PR_DATA" | jq -r '.commits_url')110 FETCH_HEAD_REF=$(echo "$PR_DATA" | jq -r '.head.sha')111 SOURCE_REPO=$(echo "$PR_DATA" | jq -r '.head.repo.full_name')113 PR_TITLE=$(echo "$PR_DATA" | jq -r '.title')114 PR_DESCRIPTION=$(echo "$PR_DATA" | jq -r '.body')[all …]