Check repos value in search facets, fixes #5895