Skip to main content
We publish frequent updates to our documentation, and translation of this page may still be in progress. For the most current information, please visit the English documentation.

À propos de la recherche sur GitHub

Notre recherche intégrée couvre de nombreux référentiels, utilisateurs et lignes de code sur GitHub Enterprise Server.

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 « 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.

Remarques :

  • 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 dans le code ». Pour plus d’informations sur GitHub Pages, consultez « Qu’est-ce que 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 avez accès sur your GitHub Enterprise Server instance.

Recherche à l’aide d’une interface visuelle

Vous pouvez effectuer une recherche dabs GitHub Enterprise Server en utilisant search page (https://[hostname]/search) ou advanced search page (https://[hostname]/search/advanced).

L’advanced search page (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 avancée

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 unified search, 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 unified search, consultez « Activation de la unified search pour votre entreprise ».

Le propriétaire d’entreprise sur GitHub Enterprise Server peut activer séparément la unified search 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 unified search 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 « Activation de la recherche dans les dépôts GitHub.com à partir de votre compte d’entreprise privé ».

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 advanced search page (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.

Pour aller plus loin