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