github / github/copilot-cli

grep tool times out on large repos before returning any results

Abierto
#2,985 1 comentario 0 reacciones 0 asignados Ver en GitHub
area:tools
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

Abrir la 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

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.