docs/lib/all-tools.js

14 строки
338 B
JavaScript

// all the tools available for the Tool Picker
export const allTools = {
bash: 'Bash',
cli: 'GitHub CLI',
codespaces: 'Codespaces',
curl: 'cURL',
desktop: 'Desktop',
importer_cli: 'GitHub Enterprise Importer CLI',
graphql: 'GraphQL API',
powershell: 'PowerShell',
vscode: 'Visual Studio Code',
webui: 'Web browser',
}