Skip to content

fix(web): don't include sources in grep tool when groupByRepo=true #247

fix(web): don't include sources in grep tool when groupByRepo=true

fix(web): don't include sources in grep tool when groupByRepo=true #247

Annotations

1 warning

test

succeeded Mar 23, 2026 in 1m 29s