Skip to content

Optimize gitignore filtering by pre-filtering directories - #26

Merged
davide1992-light merged 1 commit into
secomind:mainfrom
davide1992-light:fix-ignored-files-issue
Aug 25, 2025
Merged

Optimize gitignore filtering by pre-filtering directories#26
davide1992-light merged 1 commit into
secomind:mainfrom
davide1992-light:fix-ignored-files-issue

Optimize gitignore filtering by pre-filtering directories

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

The logs for this run have expired and are no longer available.