À propos de la recherche sur GitHub
Vous pouvez faire une recherche générale dans tout GitHub Enterprise Server, ou limiter votre recherche à un dépôt ou une organisation spécifiques.
-
Pour effectuer une recherche globale dans tout GitHub Enterprise Server, 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.
Note
- Vous devez être connecté à un compte personnel sur GitHub Enterprise Server 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 Enterprise Server. 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 « Recherche de code ». Pour plus d’informations sur GitHub Pages, consultez « À propos de GitHub Pages ».
- Actuellement, notre recherche ne prend pas en charge la correspondance exacte.
- Chaque fois que vous effectuez une recherche dans des fichiers de code, seuls les deux premiers résultats dans chaque fichier sont retournés.
Après avoir effectué une recherche sur GitHub Enterprise Server, 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 Enterprise Server utilise un cluster ElasticSearch pour indexer des projets chaque fois qu’une modification est envoyée (push) à GitHub Enterprise Server. 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.
Recherche à l’aide d’une interface visuelle
En plus de la barre de recherche, vous pouvez effectuer une recherche dans GitHub Enterprise Server en utilisant page de recherche (https://[hostname]/search) ou page de recherche avancée (https://[hostname]/search/advanced).
L’page de recherche avancée (https://[hostname]/search/advanced) 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é la recherche unifiée, vous pouvez effectuer des recherches dans les deux environnements en même temps à partir de GitHub Enterprise Server. Pour plus d’informations sur la façon dont les propriétaires d’entreprise peuvent activer recherche unifiée, consultez « Activation de la recherche unifiée pour votre entreprise ».
Le propriétaire d’entreprise sur GitHub Enterprise Server peut activer séparément la recherche unifiée pour tous les dépôts publics sur GitHub.com ainsi que pour les dépôts privés appartenant à l’organisation ou à l’entreprise sur GitHub.com ayant une connexion à GitHub Enterprise Server via GitHub Connect.
Avant de pouvoir utiliser recherche unifiée pour des dépôts privés, vous devez connecter vos comptes personnels sur GitHub.com et GitHub Enterprise Server. Pour plus d’informations, consultez « Permettre la recherche dans le référentiel à travers les environnements ».
Lorsque vous effectuez une recherche à partir de GitHub Enterprise Server, seuls des dépôts privés auxquels vous avez accès et qui appartiennent à l’organisation connectée ou à un compte d’entreprise sont inclus dans les résultats de recherche. Ni vous ni personne ne pourrez effectuer une recherche dans des dépôts privés appartenant à votre compte personnel sur GitHub.com à partir de GitHub Enterprise Server.
Pour limiter votre recherche à un seul environnement, vous pouvez utiliser une option de filtre sur page de recherche avancée (https://[hostname]/search/advanced), ou le préfixe de recherche environment:. Pour rechercher du contenu uniquement sur GitHub Enterprise Server, utilisez la syntaxe de recherche environment:local. Pour rechercher du contenu uniquement sur GitHub.com, utilisez environment:github.