Cette version de GitHub Enterprise Server n'est plus disponible depuis le 2024-09-25. Aucune publication de correctifs n’est effectuée, même pour les problèmes de sécurité critiques. Pour de meilleures performances, une sécurité améliorée et de nouvelles fonctionnalités, effectuez une mise à niveau vers la dernière version de GitHub Enterprise. Pour obtenir de l’aide sur la mise à niveau, contactez le support GitHub Enterprise.

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

Dans cet article

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

Page Recherche avancée. La barre de recherche supérieure contient la requête « chatons user:octocat ». Sous « Options avancées », la zone de texte « De ces propriétaires » contient le terme « octocat ».

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.

Pour aller plus loin