fixup

bincrafters · Nov 27, 2023 · a43277f · a43277f
1 parent f5b673c
commit a43277f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 ""