MediaMetz/gemini-cli
1
0
Fork 0
mirror of https://github.com/google-gemini/gemini-cli.git synced 2026-07-18 05:50:30 -07:00
Code Issues Packages Projects Releases Wiki Activity

fix(config): migrate coreTools setting to tools.core (#27947)

Browse Source
This commit is contained in:
Gal Zahavi
2026-06-16 14:34:08 -07:00
committed by GitHub
parent 97455e5d43
commit 926f3d9b95
10 changed files with 52 additions and 112 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/community-report.yml
+8 -6
View File
@@ -183,12 +183,14 @@ jobs:
use_gemini_code_assist: '${{ vars.GOOGLE_GENAI_USE_GCA }}'
settings: |-
{
"coreTools": [
"run_shell_command(gh issue list)",
"run_shell_command(gh pr list)",
"run_shell_command(gh search issues)",
"run_shell_command(gh search prs)"
]
"tools": {
"core": [
"run_shell_command(gh issue list)",
"run_shell_command(gh pr list)",
"run_shell_command(gh search issues)",
"run_shell_command(gh search prs)"
]
}
}
prompt: |-
You are a helpful assistant that analyzes community contribution reports.