1
0
mirror of synced 2025-12-21 10:57:10 -05:00
Files
docs/lib/all-tools.js
2022-05-24 10:40:46 -04:00

14 lines
338 B
JavaScript

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