github_default_repo
Retrieves the default repository details for a project's GitHub connector, routing through the connector account and project references to ensure governed access.
Instructions
Github connector operation default_repo (platform tool github.default_repo).
Routes only through the exact project/account governed connector authority.
Args: arguments: JSON string of arguments for the connector operation. project_id: Authenticated Project UUID. project_ref: Exact project correlation reference. connector_account_ref: Project-bound connector account alias. idempotency_key: Stable business-action identity. effect: Required and must be read; Spring verifies it. approval_ref: Approved platform task UUID when resuming a write.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| effect | Yes | ||
| arguments | No | {} | |
| project_id | No | ||
| project_ref | No | ||
| approval_ref | No | ||
| idempotency_key | No | ||
| connector_account_ref | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |