Skip to content

docs: add repohasfile filter to search docs

Administrator requested to merge fa/repohasfile-docs into master

Created by: attfarhan

Fixes https://github.com/sourcegraph/sourcegraph/issues/4594. Adds docs for repohasfile filter.

Merge request reports