Group by repo on github

When you search code using github, this script can help you group by repo

Versão de: 25/09/2021. Veja: a última versão.