search: resolve revisions for repo searches
Created by: stefanhengl
Closes #10571 (closed)
This PR adds the rev-resolution to repo-searches.
Why? We would expect this query to return results, but it doesn't return anything because we resolve ref-globs only for unindexed search.
repo:^github\.com/sourcegraph/sourcegraph$@*refs/tags/v3.15.*