grep tool times out on large repos before returning any results
- Lenguaje dominante
- Shell
- Estrellas
- 11.2k
- Forks
- 1.9k
- Merge medio
- 14 h 16 min
- PR fusionados (30 d)
- 6
Descripción
### Describe the bug
When using the built in grep tool in a large mono repo, the tool returns "timeout" with no results. I had to instruct copilot to use ripgrep rg, instead.
### Affected version
GitHub Copilot CLI 1.0.36
### Steps to reproduce the behavior
1. Open Copilot CLI in a large monorepo
2. Ask to search for a pattern across a folder and its subdirectories, dont nudge it to use ripgrep yet
3. It'll start grepping and maybe timeout
### Expected behavior
The grep tool should return results (even partial) within a reasonable time
### Additional context
_No response_
Guía de contribución
Línea de trabajo
Comienza localizando la herramienta grep integrada que usa Copilot CLI y reproduce la búsqueda descrita en el issue en un monorepo grande. Compara su comportamiento con ripgrep y verifica que las búsquedas devuelvan resultados, incluidos resultados parciales cuando corresponda, dentro de un tiempo razonable.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- shell
- Área
- cli, performance
- Tipo de issue
- Error
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Estado de actividad
- Tranquilo
- Claridad
- Bastante claro
- Aptitud para principiantes
- 48/100