Connect a GitHub repository
connect_githubConnect the GitHub repository an app is deployed from, so its deploys check themselves: every successful production deploy (policy production) — and every PR preview, with one comment on its pull request (policy all) — starts a check answered on the commit under the app's merge gate. When the GitHub App cannot see the repository yet, the answer carries install_url for an admin of the team to open; call it again after. Needs an admin key.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"app_id": "<app_id>",
"repo": "<repo>"
},
"name": "connect_github"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | owner/name of the GitHub repository this app is deployed from, e.g. 'acme/shop' | |
| team | No | Act in another of your teams, by its name or id (whoami lists them). Omitted: the key's own team | |
| app_id | Yes | App id from list_apps or create_app | |
| policy | No | production (default): every successful production deploy is checked; all: PR previews too; off: connected, nothing checked |