Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 3 additions & 10 deletions .github/scripts/bot-issue-reminder-no-pr.sh
Original file line number Diff line number Diff line change
Expand Up @@ -70,16 +70,9 @@ echo "$ALL_ISSUES_JSON" | jq -c '.' | while read -r ISSUE_JSON; do
echo "[INFO] Assignees: $ASSIGNEES"
echo

# Check if this issue already has a reminder comment from ReminderBot
EXISTING_COMMENT=$(gh api "repos/$REPO/issues/$ISSUE/comments" \
--jq ".[] | select(.user.login == \"github-actions[bot]\") | select(.body | contains(\"ReminderBot\")) | .id" \
| head -n1)

if [ -n "$EXISTING_COMMENT" ]; then
echo "[INFO] Reminder comment already posted on this issue."
echo
continue
fi
# Previously: skip if a prior ReminderBot comment existed.
# Change behavior: always consider posting a reminder (do not skip when previous reminders exist).
echo "[INFO] Posting reminders regardless of existing ReminderBot comments."

# Get assignment time (use the last assigned event)
ASSIGN_TS=$(gh api "repos/$REPO/issues/$ISSUE/events" \
Expand Down
28 changes: 12 additions & 16 deletions .github/scripts/bots/assign-01-gfi-auto.js
Original file line number Diff line number Diff line change
Expand Up @@ -86,26 +86,22 @@ module.exports = async ({ github, context }) => {
}
);

const alreadyReminded = comments.some(c =>
c.body?.includes(ASSIGN_REMINDER_MARKER)
);

// Always post a reminder regardless of previous reminders.
console.log('[gfi-assign] Reminder presence', {
alreadyReminded,
remindersFound: comments.some(c => c.body?.includes(ASSIGN_REMINDER_MARKER)),
});

if (!alreadyReminded) {
await github.rest.issues.createComment({
owner,
repo,
issue_number: issue.number,
body:
ASSIGN_REMINDER_MARKER +
assignReminder(username, 'Good First'),
});
// Post reminder every time (do not skip when prior reminder exists)
await github.rest.issues.createComment({
owner,
repo,
issue_number: issue.number,
body:
ASSIGN_REMINDER_MARKER +
assignReminder(username, 'Good First'),
});

console.log('[gfi-assign] Posted assign reminder');
}
console.log('[gfi-assign] Posted assign reminder');
}

console.log('[gfi-assign] Exit: reminder path complete');
Expand Down