Repository navigation

Promote the Attributed Opener Stripper in pr_review.py to Main - #3216

Merged

ptr727 merged 1 commit into

mainfrom

Oct 19, 2026

Merged

Promote the Attributed Opener Stripper in pr_review.py to Main#3216
ptr727 merged 1 commit into
mainfrom
develop

Commits on Oct 19, 2026
- Strip an Attributed Details or Summary Opener Through TAGS in pr_review.py (#3213)
  
  ptr727
  and
  claude
  authored
  d557c3d