fix(server): honor gitignored files in workspace search#2078
Merged
juliusmarminge merged 2 commits intopingdotgg:mainfrom Apr 17, 2026
Merged
fix(server): honor gitignored files in workspace search#2078juliusmarminge merged 2 commits intopingdotgg:mainfrom
juliusmarminge merged 2 commits intopingdotgg:mainfrom