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 1fdb72b commit 7cae583Copy full SHA for 7cae583
.github/scripts/bot-office-hours.sh
@@ -99,7 +99,7 @@ echo "$PR_DATA" |
99
fi
100
done
101
102
- ALREADY_COMMENTED=$(gh pr view "$PR_NUM" --repo "$REPO" --json comments --jq '.comments[].body' | grep -F "Office Hour Bot" || true)
+ ALREADY_COMMENTED=$(gh pr view "$PR_NUM" --repo "$REPO" --json comments --jq '.comments[].body' | grep -F "OfficeHourBot" || true)
103
104
if [ -n "$ALREADY_COMMENTED" ]; then
105
echo "PR #$PR_NUM already notified. Skipping."
0 commit comments