When you search code using github, this script can help you group by repo
Ekde 2021/09/25. Vidu La ĝisdata versio.