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

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

Created by: ijt

On sourcegraph.com, some default repos seem not to be showing up as indexed (see #5301 (closed) 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