Naxis Technologies Docs
Live demo

Issues & support

Set up GitHub (issues & PRs)

Connect GitHub to make the issues and pull requests in your repositories searchable — each becomes a document with its description and full comment thread, tied to its repo, author, assignees and labels. Read-only: only reads are ever issued.

Before you start

  1. Documents → GitHub, paste the Access token.
  2. Repositories: list owner/repo, one per line — or leave it blank and set Owner (org or user) instead; an organisation syncs its repos, your own username syncs yours, private ones included when the token can read them.
  3. Include: issues and pull requests, issues only, or pull requests only.
  4. State: open and closed, or open only.
  5. Choose access groups, Test, then Sync.

What comes in

A connected GitHub source opened: status Working, size, synced two minutes ago, and a list of issues and pull requests, each with its status, passage count and age.
A healthy GitHub source — every issue and pull request its own document, linked back to the original.
Bot activityAdvanced. Skips bot-authored issues/PRs and their comments (Dependabot, CI) by default; set to Include bots to keep that history.
Private repositoriesAdvanced. Private repos sync by default, under this source's own access groups — GitHub's own collaborator list is not mirrored. Set to Public repositories only to leave them out entirely.

Access

Documents are visible to whoever this source's access groups grant. GitHub's own collaborator list on a repository is not mirrored — a private repo's issues sync under the same access groups as a public one, not under GitHub's own permissions.

Read-only — only GETs are issued. GitHub's primary and secondary rate limits are retried with backoff before a sync gives up; a token rejection always names which scope to check.

Was this page helpful?
Was this page helpful? Sign in with Google Sign in to tell us — or leave a comment.

Last updated 20 Sep 2026