Use repos-map.json for searching for repos metrics.