Coding & Building

Daily PR Roundup

Summarizes open pull requests each morning using the GitHub plugin.

Prompt

Every weekday at 9 AM, list open PRs in [repo] with status, failing checks, and who's waiting on whom. Don't merge or close anything.