Repository navigation

fix(server): workspace search leaves out files Git ignores outside .gitignore - #35673

Merged

juliusmarminge merged 2 commits into

mainfrom

factory/issue-35587-a1794523647

Nov 12, 2026

Merged

fix(server): workspace search leaves out files Git ignores outside .gitignore#35673
juliusmarminge merged 2 commits into
mainfrom
factory/issue-35587-a1794523647

Commits on Nov 12, 2026
- test(server): workspace search should honor .git/info/exclude and core.excludesFile
  juliusmarminge
  committed
  117d792
- fix(server): workspace search leaves out files Git ignores outside .gitignore
  juliusmarminge
  committed
  da39114