Merge branch 'main' into main

This commit is contained in:
Brian 2025-09-02 12:14:58 -05:00 committed by GitHub
commit 0a1d03e092
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions

View File

@ -407,6 +407,8 @@ async function promptInstallation() {
{ name: 'Crush', value: 'crush' },
{ name: 'Github Copilot', value: 'github-copilot' },
{ name: 'Auggie CLI (Augment Code)', value: 'auggie-cli' },
{ name: 'Codex CLI', value: 'codex' },
{ name: 'Codex Web', value: 'codex-web' },
],
},
]);