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 and labels. Read-only.

  1. Create a personal access token (fine-grained with Contents, Issues and Pull requests read access, or a classic token with the repo scope).
  2. Documents → GitHub, paste the token, and either list owner/repo lines or give an owner — an org syncs its repos; your own username syncs your repos including private ones.
  3. Choose issues, PRs or both; choose access groups, Test, then Sync.

Read-only — only reads are issued. Each repository also becomes a concept with its open/total counts.

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

Last updated 29 Aug 2026