Skip to content

Promote the pr_review.py Wait Rework, the Semicolon Gate Fix, and Doc Corrections to Main - #2740

Merged
ptr727 merged 20 commits into
mainfrom
develop
Oct 10, 2026
Merged

Promote the pr_review.py Wait Rework, the Semicolon Gate Fix, and Doc Corrections to Main#2740
ptr727 merged 20 commits into
mainfrom
develop

Flag a Lone Semicolon After an Explanatory Colon in the Prose Gate (#…

043a10e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar