Skip to content

fix(web): distinguish filter-excluded results from a no-match query in the search panel - #1533

Closed
Harsh23Kashyap wants to merge 2 commits into
sourcebot-dev:mainfrom
Harsh23Kashyap:fix/search-clear-filters
Closed

fix(web): distinguish filter-excluded results from a no-match query in the search panel#1533
Harsh23Kashyap wants to merge 2 commits into
sourcebot-dev:mainfrom
Harsh23Kashyap:fix/search-clear-filters

Commits

Commits on Aug 2, 2026