Skip to content

Fix PR review reminders for unknown mergeability#300

Merged
redreceipt merged 1 commit intomainfrom
fix-pr-review-unknown-mergeability
Apr 23, 2026
Merged

Fix PR review reminders for unknown mergeability#300
redreceipt merged 1 commit intomainfrom
fix-pr-review-unknown-mergeability

Conversation

@redreceipt
Copy link
Copy Markdown
Member

Summary

  • include PRs with GitHub mergeable: UNKNOWN in stale review reminders
  • continue skipping PRs with confirmed merge conflicts
  • make the stale review reminder schedule explicit at 10 AM Eastern

Proof

  • ruff check github.py jobs.py tests/test_gql_client_requests.py tests/test_jobs.py
  • python -m unittest discover -s tests -p 'test_*.py'

@redreceipt redreceipt temporarily deployed to bug-board-fix-pr-review-igotwv April 23, 2026 12:46 Inactive
@redreceipt redreceipt marked this pull request as ready for review April 23, 2026 12:47
@redreceipt redreceipt force-pushed the fix-pr-review-unknown-mergeability branch from 97740f0 to 397962a Compare April 23, 2026 12:48
@redreceipt redreceipt temporarily deployed to bug-board-fix-pr-review-igotwv April 23, 2026 12:49 Inactive
@redreceipt redreceipt merged commit 2ecd983 into main Apr 23, 2026
8 checks passed
@redreceipt redreceipt deleted the fix-pr-review-unknown-mergeability branch April 23, 2026 12:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant