repohasfile flag: address remaining comments (!4557) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge fa/repohasfile-comments into master Jun 17, 2019

Created by: attfarhan

Addresses remaining comments in https://github.com/sourcegraph/sourcegraph/pull/4501