all-tools.js

// 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',
  javascript: 'JavaScript',
}