Yes du coup c'est assez pénible car il faut télécharger le code entier du repo et faire la recherche sur son poste... J'espère qu'ils ne supprimeront pas la possibilité de télécharger le code source d'un repo car ça signera la fin de github :)