Skip to content

Tool transcripts cannot be committed again: .gitignore refuses *.log, with a lint on the tree - #796

Merged
philcunliffe merged 4 commits into
masterfrom
fix/issue-786
Aug 18, 2026
Merged

Tool transcripts cannot be committed again: .gitignore refuses *.log, with a lint on the tree#796
philcunliffe merged 4 commits into
masterfrom
fix/issue-786

Merge remote-tracking branch 'origin/master' into HEAD

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

Annotations

1 warning
typecheck (24)
succeeded Aug 18, 2026 in 13s