Explicitly prefer find-replace over edit-files (#27503)

`edit-files` is still enabled for now, but this makes it less likely to
be used.

Release Notes:

- N/A
This commit is contained in:
Richard Feldman 2025-03-27 14:27:28 -04:00 committed by GitHub
parent 52c1e0021c
commit fc99557952
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1,5 +1,7 @@
Edit files in the current project by specifying instructions in natural language.
IMPORTANT NOTE: If there is a find-replace tool, use that instead of this tool! This tool is only to be used as a fallback in case that tool is unavailable. Always prefer that tool if it is available.
When using this tool, you should suggest one coherent edit that can be made to the codebase.
When the set of edits you want to make is large or complex, feel free to invoke this tool multiple times, each time focusing on a specific change you wanna make.