Skip to content

Promote develop to main: the prose gate now blocks on every default rule - #621

Merged
ptr727 merged 3 commits into
mainfrom
develop
Aug 8, 2026
Merged

Promote develop to main: the prose gate now blocks on every default rule#621
ptr727 merged 3 commits into
mainfrom
develop

Commits

Commits on Aug 8, 2026