GitHub a annoncé des mises à jour majeures de son moteur de recherche car il cherche à aider les utilisateurs à gagner du temps et à rester concentrés sur leur travail.
Pour commencer, le moteur de recherche sera désormais doté d’une interface distincte, mais une fois le travail terminé et le produit prêt pour une adoption plus large, il sera intégré à l’expérience principale de github.com, a-t-il été dit.
Tous les référentiels GitHub ne peuvent pas être recherchés via le nouveau moteur, mais ce n’est pas non plus une petite base de données. Plus de cinq millions de référentiels publics peuvent être recherchés, y compris les plus populaires, ainsi que tous les référentiels publics d’utilisateurs dans l’aperçu technologique.
Sommaire
Avantages de GitHub
Les utilisateurs peuvent également rechercher leurs propres référentiels privés dans l’aperçu de la technologie.
Expliquant les changements dans un article de blog, Pavel Avgustinov de GitHub a déclaré que trouver de bons résultats sera plus facile, car les développeurs pourront rechercher une chaîne exacte, avec la prise en charge des correspondances de sous-chaîne et des caractères spéciaux. Ils pourront également utiliser des expressions régulières (enfermées dans des séparateurs /).
La recherche peut également être affinée à l’aide de filtres tels que langue :, chemin :, extension : et les opérateurs booléens (OU, NON). La recherche de définitions d’un symbole avec symbole : a également été rendue possible.
Le moteur de recherche nouveau et amélioré est actuellement disponible en avant-première, avec un objectif initial consistant à obtenir les commentaires et l’aide de la communauté.
Toute personne souhaitant participer doit d’abord s’inscrire sur la liste d’attente ici. Après cela, lorsque l’aperçu technologique est activé dans le compte, ils peuvent aller sur https://cs.github.com et l’essayer.
À l’avenir, GitHub cherchera à inclure tous les référentiels publics et à élargir la liste des langues prises en charge. Les capacités de recherche seront également améliorées avec des heuristiques de notation et de classement, tandis que l’équipe expérimentera davantage les API et les intégrations, pour voir lesquelles auraient le plus d’impact.
