Skip to content

Only copy the header if it is different - #306

Merged
OneLoneCoder merged 2 commits into
developfrom
copy_if_different
Sep 23, 2026
Merged

OneLoneCoder merged 2 commits into
developfrom
copy_if_different

Change to copy_if_different since the github runner is out-of-date.

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

Annotations

1 warning and 1 notice
CheckSingleHeader
succeeded Sep 20, 2026 in 7s