Repository navigation

feat: add option to exclude private repos from indexing - #1632

Merged

brendan-kellam merged 7 commits into

sourcebot-dev:mainfrom

er0k:exclude-private-repos

Oct 9, 2026

Commits on Sep 30, 2026
- feat: add option to exclude private GitHub repos from indexing
  er0k
  committed
  d79c34f
- Use repo.private with internal exemption for exclude.private
  
  er0k
  and
  claude
  committed
  049ec9c
- Add regression test for missing visibility field
  
  er0k
  and
  claude
  committed
  15c6cfe
- Use second-person wording in exclude.private description
  
  er0k
  and
  claude
  committed
  7e413c9
Commits on Oct 9, 2026
- nit
  brendan-kellam
  committed
  02e3c0e
- Merge branch 'main' into exclude-private-repos
  brendan-kellam
  authored
  83a9c49
- changelog
  brendan-kellam
  committed
  e9d09bd