How would you build the search results UI for a grouped query like this? If one repository has 10k stars and has 1000 files with matching strings, should the fi

How would you build the search results UI for a grouped query like this? If one repository has 10k stars and has 1000 files with matching strings, should the first 1000 results be from the same repository?