Logo Spiria

Une recherche améliorée dans GitHub

8 mai 2023.

GitHub’s code search.

© GitHub.

GitHub a annoncé la disponibilité d’une refonte complète de son outil de recherche de code, un projet en développement depuis des années. L’entreprise indique que sa nouvelle recherche est “environ deux fois plus rapide” que l’ancienne et qu’elle “comprend le code, en donnant la priorité aux résultats les plus pertinents”. La recherche, dotée d’une interface entièrement repensée, est en mesure de suggérer des termes et elle catégorise et formate les résultats de manière plus intelligente. Les requêtes par sous-chaîne, les expressions régulières et la recherche par symbole sont également prises en charge. Vous pouvez cibler votre recherche sur le code d’une organisation ou un repo spécifique. Si vous voulez aller plus loin avec l’outil, GitHub a publié un guide de syntaxe des requêtes.

Ars Technica, Kevin Purdy, “After 18 months, GitHub’s big code search overhaul is generally available.”

2023-05-08