agent: Migrate tool names in settings (#29168)

Release Notes:

- agent: Add migration to rename `find_replace_file` tool to
`edit_file`, and `regex_search` to `grep`.
This commit is contained in:
Agus Zubiaga 2025-04-21 14:03:42 -03:00 committed by GitHub
parent 942d4eb126
commit be76942a69
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 39 additions and 268 deletions

View file

@ -45,3 +45,9 @@ pub(crate) mod m_2025_04_15 {
pub(crate) use keymap::KEYMAP_PATTERNS;
pub(crate) use settings::SETTINGS_PATTERNS;
}
pub(crate) mod m_2025_04_21 {
mod settings;
pub(crate) use settings::SETTINGS_PATTERNS;
}