Skip to content

search: distinguish additional versus pure lucky results

Administrator requested to merge rvt/lucky-logging-2 into main

Created by: rvantonder

Stacked on https://github.com/sourcegraph/sourcegraph/pull/39260.

This communicates whether the original query found any results or not in the client. Adding primarily because it's going to be useful context to log.

Screen Shot 2022-07-21 at 1 38 06 PM

vs

Screen Shot 2022-07-21 at 1 40 56 PM

Test plan

Manually tested for experimental functionality.

Merge request reports

Loading