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