RepoRevs instead of Repos plus a single CommitID
Merge pull request #22 from sourcegraph/search

RepoRevs instead of Repos plus a single CommitID