Issue #8537 duplicate
Search across repos for specific files within repos
It would be nice to have the ability to search within all repos for specific files. Sometimes you include a file into a repo and need to use it, but forget which repo it is in. Would be nice to have a quick way to search for things like this.