When you search code using github, this script can help you group by repo
À partir de 2021-09-25. Voir la dernière version.