Prévia técnica da busca de código do GitHub é lançada

 (github.blog)
5 pontos por xguru 2021-12-10 | 2 comentários | Compartilhar no WhatsApp

  • O novo recurso de busca de código indexa o código de 5 milhões de repositórios públicos e também permite pesquisar repositórios privados aos quais você tem acesso

  • Encontre rapidamente o código desejado com um índice otimizado para código e ranking inteligente

  • Suporte a correspondência de palavras, correspondência de substrings, caracteres especiais e expressões regulares

  • Defina o escopo da busca com org: e repo:. Suporte a autocompletar

  • Filtragem com language:, path:, extension: e OR, NOT

  • Pesquise definições de símbolos com symbol:

  • Disponível para uso somente após entrar na lista de espera e ter a ativação liberada

Leituras relacionadas

2 comentários

 
ffdd270 2021-12-10

https://grep.app/

Parece uma versão expandida desse projeto. O desenvolvedor já tinha postado isso no Show HN, e aquele projeto lendário em que o CTO do GitHub perguntou se podia contratá-lo (...).
 
xguru 2021-12-10

Eu também cheguei a procurar para ver para onde aquele desenvolvedor ( @danfox ) foi depois disso, mas não consegui encontrar nenhum vestígio.