search: support globbing for filters (!12365) · Merge requests · Administrator / sourcegraph

Administrator requested to merge sh/globbing-filters into master Jul 21, 2020

Created by: stefanhengl

Related to #10094, #12287, and RFC198

This PR contains the backend changes necessary to support globbing for filters. Filters will only contain regex anchors if globbing is deactivated (default) in the settings.

This PR should be merged before #12287.

Background We add regex anchors whenever users click on repo or file filters. For filters, the anchors get added in the backend. For completion and suggestions, the anchors are added by web. The changes for web are done separately in #12287.

search: support globbing for filters

Merge request reports