Skip to content

Batch N inline review comments into single Lambda, enrich PR comment context#2550

Merged
hiroshinishio merged 1 commit intomainfrom
wes
Apr 18, 2026
Merged

Batch N inline review comments into single Lambda, enrich PR comment context#2550
hiroshinishio merged 1 commit intomainfrom
wes

Conversation

@hiroshinishio
Copy link
Copy Markdown
Collaborator

No description provided.

…_summary_comment, batch inline review dedup

- Merge get_comments + get_all_comments into single get_pr_comments with exclude_self param
- Rename issue_comment.py to pr_comment.py, get_review_summary to get_review_summary_comment
- Add who/when context to PR comments for agent: @user (timestamp): body
- Pass PR comments to all handlers (check_suite, review_run) instead of empty []
- Batch dedup for multi-comment reviews (e.g. Devin submitting N inline comments)
- Add @handle_exceptions to update_progress, add pagination to get_review_inline_comments
@hiroshinishio hiroshinishio self-assigned this Apr 18, 2026
@hiroshinishio hiroshinishio changed the title Consolidate comment naming, batch inline review dedup, pass PR comments to all handlers Batch multi-comment reviews into single Lambda, enrich PR comment context for agent Apr 18, 2026
@hiroshinishio hiroshinishio changed the title Batch multi-comment reviews into single Lambda, enrich PR comment context for agent Fix duplicate Lambdas from Devin multi-comment reviews, enrich PR comment context Apr 18, 2026
@hiroshinishio hiroshinishio changed the title Fix duplicate Lambdas from Devin multi-comment reviews, enrich PR comment context Fix racing Lambdas from Devin multi-comment reviews, enrich PR comment context Apr 18, 2026
@hiroshinishio hiroshinishio changed the title Fix racing Lambdas from Devin multi-comment reviews, enrich PR comment context Batch N inline review comments into single Lambda, enrich PR comment context Apr 18, 2026
@hiroshinishio hiroshinishio merged commit b906d20 into main Apr 18, 2026
1 check passed
@hiroshinishio hiroshinishio deleted the wes branch April 18, 2026 03:19
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