Restore mtimes in the local release too, so both paths fail the same way - #76

Merged

ptr727 merged 4 commits into

local-restore-mtime

Aug 9, 2026

Commits on Aug 9, 2026

Restore mtimes in the local release too, so both paths fail the same way

ptr727
and
claude
committed
3dc698d
Accept either install shape, and refuse the broken version by name

ptr727
and
claude
committed
83cc844
Make the version diagnostic reachable, and parse a rename correctly

ptr727
and
claude
committed
69b1cad
Pick the first usable git-restore-mtime, not the first one that exists

ptr727
and
claude
committed
f5330b4