À propos de la recherche sur GitHub
Vous pouvez faire une recherche générale dans tout GitHub, ou limiter votre recherche à un dépôt ou une organisation spécifiques.
-
Pour effectuer une recherche globale dans tout GitHub, tapez ce que vous recherchez dans le champ de recherche en haut de n’importe quelle page, puis choisissez « Rechercher tout GitHub » dans le menu déroulant de recherche.
-
Pour effectuer une recherche dans un dépôt ou une organisation particuliers, accédez à la page du dépôt ou de l’organisation, tapez ce que vous recherchez dans le champ de recherche en haut de la page, puis appuyez sur Entrée.
Vous pouvez également utiliser des suggestions et des complétions dans la barre de recherche pour trouver rapidement ce dont vous avez besoin.
-
Si vous cliquez sur la barre de recherche dans la navigation supérieure de GitHub.com, vous pouvez voir une liste de suggestions organisées par catégorie, incluant notamment les recherches récentes et les dépôts suggérés ainsi que les équipes et les projets auxquels vous avez accès.
-
Un clic sur l’une des suggestions spécifiques vous redirige directement vers la page correspondant à cette suggestion (par exemple, la page du dépôt ou du projet). Si vous cliquez sur une recherche récente, en fonction du type de recherche, le terme de recherche apparaît dans la barre de recherche, ou vous êtes redirigé vers la page des résultats de la recherche correspondant au terme recherché.
-
Une fois que vous commencez à taper, vous voyez s’afficher une liste de complétions et de suggestions correspondant à votre requête. Vous pouvez cliquer sur une suggestion pour accéder directement à un emplacement spécifique. Au fur et à mesure que vous continuez à taper, vous voyez s’afficher des suggestions plus spécifiques, par exemple des fichiers de code auxquels vous pouvez accéder directement.
Une fois que vous avez tapé une requête de recherche, vous pouvez appuyer sur Entrée pour accéder à la vue complète des résultats de la recherche, où vous pouvez voir chaque correspondance ainsi qu’une interface visuelle permettant d’appliquer des filtres. Pour plus d’informations, consultez « Recherche avec une interface visuelle ».
Note
- Vous devez être connecté à un compte personnel sur GitHub pour rechercher du code dans tous les dépôts publics.
- Il n’est pas possible d’effectuer une recherche dans les sites GitHub Pages sur GitHub. Toutefois, vous pouvez effectuer une recherche dans le contenu source s’il existe dans la branche par défaut d’un dépôt, en utilisant une recherche dans le code. Pour plus d’informations, consultez « Présentation de la syntaxe de GitHub Code Search ». Pour plus d’informations sur GitHub Pages, consultez « À propos de GitHub Pages ».
- Actuellement, notre recherche ne prend pas en charge la correspondance exacte.
Après avoir effectué une recherche sur GitHub, vous pouvez trier les résultats ou les affiner en cliquant sur l’un des langages dans la barre latérale. Pour plus d’informations, consultez « Tri des résultats de recherche ».
Une recherche GitHub utilise un cluster ElasticSearch pour indexer des projets chaque fois qu’une modification est envoyée (push) à GitHub. Les problèmes et demandes de tirage sont indexés lors de leur création ou modification.
Types de recherches sur GitHub
Vous pouvez rechercher les informations suivantes dans tous les dépôts auxquels vous pouvez accéder sur GitHub.
- Référentiels
- Rubriques
- Problèmes et demandes de tirage
- Discussions
- Code
- Commits
- Utilisateurs
- Packages
- Wikis
Recherche à l’aide d’une interface visuelle
En plus de la barre de recherche, vous pouvez effectuer une recherche dans GitHub en utilisant page de recherche ou page de recherche avancée. Vous pouvez également utiliser la recherche interactive dans GitHub Command Palette pour rechercher votre emplacement actuel dans l’interface utilisateur, un utilisateur, un référentiel ou une organisation spécifiques, et globalement effectuer une recherche dans tout GitHub, sans quitter le clavier. Pour plus d’informations, consultez « Palette de commandes GitHub ».
L’page de recherche avancée fournit une interface visuelle pour la construction de requêtes de recherche. Vous pouvez filtrer vos recherches sur divers facteurs, tels que le nombre d’étoiles ou le nombre de duplications d’un dépôt. Lorsque vous renseignez les champs de recherche avancée, votre requête est automatiquement construite dans la barre de recherche supérieure.
Recherche dans des dépôts sur GitHub.com à partir de votre environnement d’entreprise privé
Si vous utilisez à la fois GitHub.com et GitHub Enterprise Server, et si un propriétaire d'entreprise a activé recherche unifiée, vous pouvez effectuer des recherches dans les deux environnements en même temps à partir de GitHub. Pour plus d’informations, consultez « À propos de la recherche sur GitHub » dans la documentation GitHub Enterprise Server.