Get started
Sign in

GitHub

Call the GitHub API from a workbench

The GitHub tool lets a workbench agent call the GitHub REST API for repositories, issues, and pull requests. Authenticate with a personal access token or a GitHub App installation, including GitHub Enterprise Server.

Capabilities

  • Placeholder: name each operation the agent can call, from lib/console/ai/tools/workbench/ (and go/cloud-query/internal/tools/ when the tool is query-backed).
  • Placeholder: mention permissions only when the implementation or the setup guide states them.

Setup

Create the tool under Workbenches → Integrations and follow the inline setup guide for credentials and Console fields. That guide is maintained at js/console/public/setup-guides/tools/github.md.

Edit on Github