Skip to content

fix(gate,review,ops): add glob exclusions, tier the public-comment vocabulary, and make inert config queryable (#9554, #9555, #9433) - #9556

Merged
JSONbored merged 4 commits into
mainfrom
fix/glob-exclusions-and-inert-config
Jul 28, 2026
Merged

fix(gate,review,ops): add glob exclusions, tier the public-comment vocabulary, and make inert config queryable (#9554, #9555, #9433)#9556
JSONbored merged 4 commits into
mainfrom
fix/glob-exclusions-and-inert-config