fix docs.sourcegraph.com mobile search (!8353) · Merge requests · Administrator / sourcegraph

Administrator requested to merge doc-search-fix into master Feb 11, 2020

Created by: sqs

The docs.sourcegraph.com mobile search was different from the non-mobile version. The mobile version submitted the form to the incorrect URL /?search=foo. The correct one is /search?q=foo.

fix docs.sourcegraph.com mobile search

Merge request reports