Repository navigation

Promote develop to main: reply for Identical Threads, details Tag Boundaries - #2420

Merged

ptr727 merged 3 commits into

mainfrom

Oct 5, 2026

Merged

Promote develop to main: reply for Identical Threads, details Tag Boundaries#2420
ptr727 merged 3 commits into
mainfrom
develop

Commits on Oct 5, 2026
- Align details Tag Boundaries Across pr_review.py's Readers (#2415)
  
  ptr727
  and
  claude
  authored
  135e97c
- Let pr_review.py reply Answer a Finding Posted as Identical Threads (#2419)
  
  ptr727
  and
  claude
  authored
  a9687c9
- Count a Landed Reply Under a Failed Resolve in reply's Batch Report (#2422)
  
  ptr727
  and
  claude
  authored
  fffd6c7