diff --git a/cci/update_from_upstream.sh b/cci/update_from_upstream.sh index 6d9f0bf..71c5b73 100644 --- a/cci/update_from_upstream.sh +++ b/cci/update_from_upstream.sh @@ -92,7 +92,7 @@ echo "${PR_IDS}" echo "" echo "Recently merged PR IDs from ${GIT_GITHUB_FORK_ACCOUNT}, according to the API:" -RECENT_PRS=$(gh pr list --limit 800 --state merged | grep -q $'\t'"${GIT_GITHUB_FORK_ACCOUNT}:") +RECENT_PRS=$(gh pr list --limit 800 --state merged | grep $'\t'"${GIT_GITHUB_FORK_ACCOUNT}:" || echo "no pr found from ${GIT_GITHUB_FORK_ACCOUNT}" 1>&2) echo "${RECENT_PRS}" echo ""