Skip to content

Avoid PR head checkout and add prompt profiles#73

Merged
gontzess merged 9 commits into
mainfrom
gontzess/pr-review-trust-boundary
May 13, 2026
Merged

Avoid PR head checkout and add prompt profiles#73
gontzess merged 9 commits into
mainfrom
gontzess/pr-review-trust-boundary

Commits

Commits on May 12, 2026

Commits on May 13, 2026