update to toolsFilter

This commit is contained in:
2026-05-31 19:18:26 +01:00
parent c7e66a9033
commit 9ead9d4aee
3 changed files with 3 additions and 3 deletions
@@ -4,7 +4,7 @@ metadata:
name: dev-tools name: dev-tools
namespace: toolhive-system namespace: toolhive-system
spec: spec:
filter: toolsFilter:
- search_code - search_code
- get_file - get_file
- list_pull_requests - list_pull_requests
@@ -4,7 +4,7 @@ metadata:
name: ops-tools name: ops-tools
namespace: toolhive-system namespace: toolhive-system
spec: spec:
filter: toolsFilter:
- get_application - get_application
- get_application_history - get_application_history
- get_application_health - get_application_health
@@ -4,7 +4,7 @@ metadata:
name: state-doc-tools name: state-doc-tools
namespace: toolhive-system namespace: toolhive-system
spec: spec:
filter: toolsFilter:
- get_application - get_application
- get_application_health - get_application_health
- get_application_history - get_application_history