Skip to content

Relax commit message check for URLs - #385

Merged
jserv merged 2 commits into
sysprog21:mainfrom
henrybear327:commit-msg-url
Sep 16, 2026
Merged

Relax commit message check for URLs#385
jserv merged 2 commits into
sysprog21:mainfrom
henrybear327:commit-msg-url

Document the URL exception to the body width

17c71a6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Enumerate proof targets
succeeded Sep 16, 2026 in 5s