Repository navigation

Update release script - #1602

Merged

j-bennet merged 5 commits into

mainfrom

j-bennet/update-release-script

Jun 3, 2026

Merged

Update release script#1602
j-bennet merged 5 commits into
mainfrom
j-bennet/update-release-script

Commits on Jun 3, 2026
- Add tag verification and PR commenting to release script
  
  j-bennet
  and
  claude
  committed
  5712ca5
- Make PR commenting a single step in release script
  
  j-bennet
  and
  claude
  committed
  7905496
- Include PR list in release commit message
  
  j-bennet
  and
  claude
  committed
  21f09c3
- Fix ruff formatting in release script
  
  j-bennet
  and
  claude
  committed
  d3321c1
- Fix ruff 0.15.15 formatting
  j-bennet
  committed
  af37cdd