When you search code using github, this script can help you group by repo
As of 2021-09-25. See the latest version.
