Skip to main content

Sobre a pesquisa no GitHub

Use nossas potentes ferramentas de pesquisa para encontrar o que está procurando entre os muitos repositórios, usuários e linhas de código no GitHub Enterprise Server.

Sobre pesquisar no GitHub

Você pode pesquisar globalmente em todo o GitHub Enterprise Server ou definir o escopo da sua pesquisa para uma organização ou um repositório específico.

  • Para pesquisar globalmente em todo o GitHub Enterprise Server, digite o que você está procurando no campo de pesquisa na parte superior de qualquer página e escolha "Pesquisar em todo o GitHub".

  • Para pesquisar em uma organização ou um repositório específico, navegue até a página da organização ou do repositório, digite o que está procurando no campo de pesquisa que fica na parte superior da página e pressione Enter.

Note

  • Você deve estar conectado a uma conta pessoal no GitHub Enterprise Server para pesquisar o código em todos os repositórios públicos.
  • Os sites do GitHub Pages não são pesquisáveis no GitHub Enterprise Server. No entanto, você pode pesquisar o conteúdo da fonte, se ele existir no branch padrão de um repositório, usando a pesquisa de código. Para obter mais informações, confira “Pesquisar o código”. Para mais informações sobre GitHub Pages, confira "Sobre o GitHub Pages".
  • Atualmente, nossa pesquisa não dá suporte a correspondência exata.
  • Sempre que você estiver pesquisando em arquivos de código, somente os dois primeiros resultados em cada arquivo serão retornados.

Após a realização de uma pesquisa no GitHub Enterprise Server, é possível ordenar os resultados ou refiná-los ainda mais clicando em uma das linguagens na barra lateral. Para obter mais informações, confira "Ordenar os resultados da pesquisa".

A pesquisa do GitHub Enterprise Server usa um cluster do ElasticSearch para indexar projetos toda vez que uma alteração é enviada por push ao GitHub Enterprise Server. Problemas e pull requests são indexados quando são criados ou modificados.

Tipos de pesquisa no GitHub

Você pode pesquisar as seguintes informações em todos os repositórios que você puder acessar em GitHub.

Pesquisar usando uma interface visual

Além da barra de pesquisa, é possível pesquisar GitHub Enterprise Server usando página de pesquisa (https://[hostname]/search) ou página de pesquisa avançada (https://[hostname]/search/advanced).

A página de pesquisa avançada (https://[hostname]/search/advanced) fornece uma interface visual para construção de consultas de pesquisa. Você pode filtrar as pesquisas por diversos fatores, como o número de estrelas ou o número de bifurcações que um repositório tem. À medida que você preenche os campos de pesquisa avançada, sua consulta é automaticamente construída na barra de pesquisa superior.

Página de pesquisa avançada. A barra de pesquisa superior contém a consulta "kittens user:octocat". Em "Opções avançadas", a caixa de texto "Desses proprietários" contém o termo "octocat".

Pesquisando repositórios em GitHub.com a partir do seu ambiente corporativo privado

Se você usar GitHub.com e GitHub Enterprise Server, e um proprietário de empresa tiver ativado pesquisa unificada, você poderá pesquisar em ambos os ambientes ao mesmo tempo de GitHub Enterprise Server. Para obter mais informações sobre como os proprietários de empresa podem habilitar o pesquisa unificada, confira "Habilitando a pesquisa unificada para a sua empresa".

O proprietário da empresa em GitHub Enterprise Server pode habilitar separadamente pesquisa unificada para todos os repositórios públicos em GitHub.com e para repositórios privados de propriedade da organização ou empresa em GitHub.com que está conectada a GitHub Enterprise Server por meio de GitHub Connect.

Antes de poder usar pesquisa unificada para repositórios privados, você deve conectar suas contas pessoais em GitHub.com e GitHub Enterprise Server. Para obter mais informações, confira "Como habilitar a pesquisa de repositório entre ambientes".

Ao pesquisar em GitHub Enterprise Server, apenas os repositórios privados aos quais você tem acesso e que são de propriedade da organização ou conta corporativa conectada serão incluídos nos resultados da pesquisa. Nem você nem ninguém poderá pesquisar repositórios privados pertencentes à sua conta pessoal em GitHub.com de GitHub Enterprise Server.

Para limitar sua pesquisa a um ambiente, você pode usar uma opção de filtro em página de pesquisa avançada (https://[hostname]/search/advanced) ou pode usar o prefixo de pesquisa environment:. Para pesquisar apenas conteúdo em GitHub Enterprise Server, use a sintaxe de pesquisa environment:local. Para pesquisar apenas conteúdo em GitHub.com, use environment:github.

Leitura adicional