refactor: create diff search type (!7245) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge rvt/search-types-part-2-diff into master Dec 17, 2019

Created by: rvantonder

Stacked on top of #7243. This creates a dedicated search type for diff search.