1
0
mirror of synced 2025-12-30 03:01:36 -05:00
Files
docs/lib/all-tools.js
2022-11-02 11:06:17 +00:00

16 lines
404 B
JavaScript

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