ConnectorsSetup guides
GitHub
Repository files, and optionally issues.
What it brings in
Repository files, and optionally issues.
Credentials
A personal access token with repo scope. GitHub → Settings → Developer settings → Personal access tokens.
Settings
| Setting | What it is |
|---|---|
api_token | API token |
include_extensions | File extensions to include |
repos | Repositories to sync |
sync_issues | Also sync issues |
Adding it
- Connectors → Add connector → GitHub
- Decide global or personal — this is the one choice that is awkward to change later
- Enter the credentials above
- Narrow the scope before the first sync
- Save. Syncing starts immediately
Nothing is searchable until the first sync finishes. Progress is on the connector page.
If it fails
The connector page shows the error. The usual causes are an expired credential, a permission changed on the far side, or — for GitHub — access not having been granted to the specific content yet.