--exclude: use .gitignore glob syntax - #154

Merged

martinus merged 3 commits into

gitignore-exclude

Jul 26, 2026

Commits on Jul 26, 2026

--exclude: use .gitignore glob syntax

martinus
and
claude
committed
05d1d6b
simplify: JIT the exclude regexes, and cut the glob set down

martinus
and
claude
committed
59908df
Define the path buffers the exclude matcher reads

martinus
and
claude
committed
f78f2b2