Skip to main content

Enterprise Server 3.20 est actuellement disponible en tant que version candidate.

À propos de la recherche sur GitHub

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

À propos de la recherche sur GitHub

  • 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 dans 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.

Remarque

  • 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 Recherche de 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, 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 les pull requests sont indexés lors de leur création ou de leur 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.

  •         [Dépôts](/search-github/searching-on-github/searching-for-repositories)
    
  •         [Rubriques](/search-github/searching-on-github/searching-topics)
    
  •           [Problèmes et demandes de tirage](/search-github/searching-on-github/searching-issues-and-pull-requests)
    
  • Code
  •           [Commits](/search-github/searching-on-github/searching-commits)
    
  •         [Utilisateurs](/search-github/searching-on-github/searching-users)
    
  •         [Packages](/search-github/searching-on-github/searching-for-packages)
    
  •         [Wikis](/search-github/searching-on-github/searching-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 (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 principale contient la requête « chatons user:octocat ». Dans « Options avancées », le champ 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 GitHub.com ou GHE.com ainsi que 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 Enterprise Server. Pour plus d’informations, consultez Activation de la recherche unifiée pour votre entreprise.

Le propriétaire de votre entreprise sur GitHub Enterprise Server peut activer séparément recherche unifiée pour l’ensemble des référentiels publics sur ainsi que pour les référentiels privés appartenant à l’organisation ou à l’entreprise sur GitHub.com ou GHE.com, connecté à GitHub Enterprise Server via GitHub Connect.

Avant de pouvoir utiliser recherche unifiée pour les référentiels privés, vous devez connecter vos comptes d’utilisateur entre les environnements. 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 d’utilisateur sur GitHub.com ou GHE.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

  •         [AUTOTITLE](/search-github/getting-started-with-searching-on-github/understanding-the-search-syntax)
    
  •         [AUTOTITLE](/search-github/searching-on-github)