Repository navigation

[RELEASE] One repository spelled two ways is one repository (carries #6450) - #6454

Merged

vivekchand merged 1 commit into

mainfrom

release/case-fold

Oct 15, 2026

Merged

[RELEASE] One repository spelled two ways is one repository (carries #6450)#6454
vivekchand merged 1 commit into
mainfrom
release/case-fold

Commits on Oct 15, 2026
- chore(release): carry #6450 and record two verify rules it taught
  
  vivekchand
  and
  claude
  committed
  df2c877