Description

A RepoFilter filters a set of repos to only those for which SelectRepo returns true.

RepoFilter is referenced in 3 repositories

github.com/sourcegraph/srclib sourcegraph.com/sourcegraph/srclib sourcegraph/srclib