Make searches default to index:only on sourcegraph.com (!5317) · Merge requests · Administrator / sourcegraph

Administrator requested to merge speed-up-sg-dot-com-searches into master Aug 21, 2019

Created by: ijt

Fixes #5301.

On sourcegraph.com, some default repos seem not to be showing up as indexed (see #5301 for evidence), so this restricts to only indexed repos when there are some and logs a few of the unindexed repos to help us track down the root of the problem.

Test plan:

Make searches default to index:only on sourcegraph.com

Merge request reports