Sign up
View stargazers0Sign up

agent: Disable redundant tools (might delete later) (#28114)

Release Notes:

- agent: Disable tools that are redundant in the presence of the bash
tool
75b9a3b6a8Agus Zubiaga committed on 4/4/2025, 6:59:21 PM· committed by GitHubparent9bd3dbc
1 file changedLine totals unavailable