Skip to content

copyright: a short header is named as one, not as a missing notice - #2199

Merged
bong-water-water-bong merged 6 commits into
mainfrom
prs2-short-notice
Nov 12, 2026
Merged

bong-water-water-bong merged 6 commits into
mainfrom
prs2-short-notice

copyright: drop strip_short_header, now that main's --fix does that job

7dd6e43
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Analyze (actions)
succeeded Nov 12, 2026 in 48s