trawl_connect_github
Add a GitHub user, organization, or repository as a pool source, with optional include and exclude lists to control which repos are indexed.
Instructions
Add a GitHub account, org, or repo as a source for a pool.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | No | Specific repo (optional) | |
| owner | Yes | GitHub username or org | |
| pool_name | Yes | Pool name | |
| exclude_repos | No | Blacklist repos | |
| include_repos | No | Whitelist repos |