Skip to content

grep tool times out on large repos before returning any results #2985

Description

@mcodilla

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

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    area:toolsBuilt-in tools: file editing, shell, search, LSP, git, and tool call behavior

    Type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions