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 sua instância do GitHub Enterprise Server.
Pesquisar usando uma interface visual
Como alternativa, é possível pesquisar o GitHub Enterprise Server usando a página de pesquisa (https://[hostname]/search) ou a 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.
Searching repositories on GitHub.com from your private enterprise environment
If you use GitHub Enterprise Server and you're a member of a GitHub.com organization using GitHub Enterprise Cloud, an enterprise owner for your GitHub Enterprise environment can enable GitHub Connect so that you can search across both environments at the same time from GitHub Enterprise Server. For more information, see the following.
- "Enabling pesquisa unificada between your enterprise account and GitHub.com" in the GitHub Enterprise Server documentation
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.
Your enterprise owner on GitHub Enterprise Server can enable pesquisa unificada for all public repositories, all private repositories, or only certain private repositories in the connected GitHub Enterprise Cloud organization.
When you search from GitHub Enterprise Server, you can only search in the private repositories that you have access to in the connected GitHub.com organization. Enterprise owners for GitHub Enterprise Server and organization owners on GitHub.com cannot search private repositories owned by your account on GitHub.com. To search the applicable private repositories, you must enable private repository search for your personal accounts on GitHub Enterprise Server. For more information, see "Enabling GitHub.com repository search from your private enterprise environment."