Skip to content

Add review summary and run link to PR reviews#77

Merged
gontzess merged 4 commits into
mainfrom
gontzess/pr-review-addressed-summary
May 14, 2026
Merged

Add review summary and run link to PR reviews#77
gontzess merged 4 commits into
mainfrom
gontzess/pr-review-addressed-summary

Conversation

@gontzess
Copy link
Copy Markdown
Contributor

@gontzess gontzess commented May 14, 2026

Why

The structured PR review summary can still be hard to scan when a follow-up review has no findings. Reviewers need the summary comment to say what changed, whether prior bot feedback was addressed, and where to inspect the run without restoring the older trusted-code behavior.

What this changes

Adds review_run_url to the pre-fetched PR context and requires the shared prompt to include a run link plus a short Review Summary before the finding sections. Incremental reviews are instructed to mention addressed prior bot feedback in that summary while continuing to use the safe base-checkout and GitHub API diff model.

Validation

  • git diff --check
  • fetch-pr-context.py compiles with an isolated pycache
  • Canary PR flagged a new unsafe type assertion, linked the review run, then updated the same summary after the fix with zero blocking issues and the prior feedback marked addressed
Screenshot 2026-05-14 at 14 14 38

@gontzess gontzess marked this pull request as ready for review May 14, 2026 17:15
@gontzess gontzess changed the title Add review summary to PR review prompt Add review summary and run link to PR reviews May 14, 2026
@gontzess gontzess marked this pull request as draft May 14, 2026 18:13
@gontzess gontzess marked this pull request as ready for review May 14, 2026 18:16
@gontzess gontzess marked this pull request as draft May 14, 2026 18:17
@gontzess gontzess marked this pull request as ready for review May 14, 2026 18:27
@gontzess gontzess merged commit 1355092 into main May 14, 2026
2 checks passed
@gontzess gontzess deleted the gontzess/pr-review-addressed-summary branch May 14, 2026 18:30
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.

2 participants