Skip to content

Add pr-monitor skill#375

Merged
mattleibow merged 1 commit intomainfrom
monitor
Mar 4, 2026
Merged

Add pr-monitor skill#375
mattleibow merged 1 commit intomainfrom
monitor

Conversation

@mattleibow
Copy link
Collaborator

Merges the pr-monitor skill from the gestures and lottie-frames branches into a single unified version.

What's included

  • SKILL.md — Merged from both versions:
    • Background agent architecture from lottie-frames (delegates polling to a cheap gpt-5-mini agent instead of running in the main expensive context)
    • POLL_INTERVAL parameter from gestures
    • Second example invocation (user-provided PR number) from gestures
  • scripts/poll_comments.sh — Identical in both branches; handles paginated comment fetching, known-ID tracking, own-reply filtering, and reviewer filtering

Combines the best of both versions:
- Background agent architecture from lottie-frames (cost optimization)
- POLL_INTERVAL parameter and second example from gestures
- Identical poll_comments.sh script

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@mattleibow mattleibow merged commit c30e453 into main Mar 4, 2026
1 of 2 checks passed
@mattleibow mattleibow deleted the monitor branch March 4, 2026 00:16
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