ignore: prune directories outside positive glob prefixes - #3497

Open

jif-oai wants to merge 5 commits into

BurntSushi:masterfrom

jif-oai:jif/prune-positive-glob-prefixes

Commits on Jul 29, 2026

ignore: prune directories outside positive glob prefixes
jif-oai
committed
47403eb
ignore: preserve directory glob semantics and deduplicate prefixes
jif-oai
committed
97d6fe3
ignore: preserve the override matcher root
jif-oai
committed
7a5427a

Commits on Jul 30, 2026

ignore: simplify fixed-prefix directory pruning
jif-oai
committed
e974dcc
ignore: preserve ancestors of override roots
jif-oai
committed
9323373