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 está procurando no campo de pesquisa que fica na parte superior de qualquer página e escolha "All GitHub" (Em todo o GitHub) no menu suspenso da pesquisa.
- 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.
Notas:
- Você deve estar conectado a uma conta de usuário em 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, consulte "Pesquisar código". Para obter mais informações sobre o GitHub Pages, consulte "O que é o GitHub Pages?"
- Atualmente, a nossa pesquisa não é compatível com correspondência exata.
- Sempre que você estiver pesquisando em arquivos de código, serão retornados apenas os dois primeiros resultados de cada arquivo.
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, consulte "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ê pode acessar em your GitHub Enterprise Server instance.
Pesquisar usando uma interface visual
Você pode pesquisar GitHub Enterprise Server usando o 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.
Pesquisando repositórios em GitHub.com a partir do seu ambiente corporativo privado
Se você usar GitHub Enterprise Server e você for um membro de uma organização de GitHub.com que estiver usando GitHub Enterprise Cloud, o proprietário de uma empresa para o seu ambiente de GitHub Enterprise poderá habilitar GitHub Connect para que você possa pesquisar em ambos os ambientes ao mesmo tempo a partir de GitHub Enterprise Server. Para obter mais informações, consulte o seguinte.
- "Habilitando pesquisa unificada para a sua empresa" na documentação de GitHub Enterprise Server
- "Habilitando pesquisa unificada para a sua empresa" na documentação de GitHub AE
Para definir o escopo da pesquisa por ambiente, você pode usar uma opção de filtro na página de pesquisa avançada (https://[hostname]/search/advanced
) ou pode usar o prefixo de pesquisa environment:
. Para pesquisar apenas por conteúdo no GitHub Enterprise Server, use a sintaxe de pesquisa environment:local
. Para pesquisar apenas por conteúdo no GitHub.com, use environment:github
.
O proprietário da sua empresa em GitHub Enterprise Server pode habilitar pesquisa unificada para todos os repositórios públicos, todos os repositórios privados ou apenas alguns repositórios privados na organização de GitHub Enterprise Cloud conectada.
Ao pesquisar a partir de GitHub Enterprise Server, você só pode pesquisar em repositórios privados aos quais tem acesso na organização de GitHub.com conectada. Os proprietários da empresa para GitHub Enterprise Server e proprietários da organização no GitHub.com não podem pesquisar repositórios privados pertencentes � sua conta em GitHub.com. Para pesquisar os repositórios privados aplicáveis, você deve habilitar a pesquisa privada no repositório para as suas contas pessoais em GitHub Enterprise Server. Para obter mais informações, consulte "Habilitando a pesquisa no repositório GitHub.com no ambiente privado da empresa."