Search stuck and never finishes

Describe the bug

I created a md to work around the issue, and it has the description

cat ~/.copilot/instructions/search-tool-workaround.instructions.md

Search / grep tool workaround

In this environment the built-in grep tool (and code-search tooling built on
it) can stall for minutes on the "Search" spinner, even though the underlying
ripgrep work completes in milliseconds. This is a tool-invocation-layer issue,
not a real search cost:

• Single-file ripgrep: ~2 ms
• Whole 70 GB / ~825k-file working tree: ~3.8 s

So the multi-minute "Search" hangs are NOT caused by ripgrep or repo size.

Guidance

• Prefer plain grep/rg and view/cat/sed via the bash tool for
  searching file contents and reading files. These return in milliseconds.
• Avoid the built-in grep tool here until the responsiveness bug is fixed.
• Always scope searches to a specific path/file when possible
  (e.g. grep -nE 'pattern' path/to/file).

Affected version

GitHub Copilot CLI 1.0.79

Steps to reproduce the behavior

everytime it needs to Search

Search "something" ....

which stuck forever

Expected behavior

No response

Additional context

No response

Commencez par reproduire le blocage dans GitHub Copilot CLI 1.0.79 à l’aide de l’outil intégré Search/grep, puis comparez-le aux commandes grep ou rg basées sur bash décrites dans ~/.copilot/instructions/search-tool-workaround.instructions.md. Suivez la couche d’invocation de Search plutôt que les performances de ripgrep. C’est terminé lorsque les recherches s’achèvent au lieu de rester sur le spinner de Search.