add_repository
Attach a public GitHub repository to the active project (owner + repo_name; clone URL derived). Idempotent. First attach dispatches an indexing job; response carries indexing_status ("queued" | "already_indexed") and indexing_job_id to poll. Data available once the index is stable.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | GitHub owner (user or org) | |
| feedback | No | Optional: report how a previous answer worked out; piggybacks on any call. | |
| projectId | No | Project id from init/list_projects. Omit for the active project. | |
| repo_name | Yes | Repository name | |
| default_branch | No | Default branch (default main) |