Feature: Support ignoring (filtering) paths in git tree#4420

Open

Roei-Levi wants to merge 3 commits intoGitTools:mainfrom

Roei-Levi:feature/paths-filter

Commits on May 21, 2025

feat(paths-filter): follow pr
roeil
committed
pr
roeil
committed
Docs changes
arturcic
committed