feat(sources): add GitHub source indexing#749

Closed

aaf2tbz wants to merge 17 commits into

mainfrom

codex/github-source-clean

Commits on May 23, 2026

feat(sources): add GitHub source indexing

Avery Felts
authored and
Avery Felts
committed
Merge branch 'main' into codex/github-source-clean
aaf2tbz
authored
Fix GitHub source agent scoping and doc bounds

Avery Felts
authored and
Avery Felts
committed
Cap wildcard GitHub repo expansion

Avery Felts
authored and
Avery Felts
committed
Restrict GitHub doc paths to markdown

Avery Felts
authored and
Avery Felts
committed
Complete GitHub bridge source jobs

Avery Felts
authored and
Avery Felts
committed
Merge branch 'main' into codex/github-source-clean
aaf2tbz
authored
Merge branch 'main' into codex/github-source-clean
aaf2tbz
authored
fix(sources): honor github discussion state bounds

Avery Felts
authored and
Avery Felts
committed
fix(sources): preserve issue caps across PR-heavy pages

Avery Felts
authored and
Avery Felts
committed
fix(sources): use discussion closed state from graphql

Avery Felts
authored and
Avery Felts
committed

Commits on May 24, 2026

Merge branch 'main' into codex/github-source-clean
aaf2tbz
authored
fix(sources): harden github sync failure handling

Avery Felts
authored and
Avery Felts
committed
fix(sources): sync github sources under their own agent

Avery Felts
authored and
Avery Felts
committed
fix(sources): harden github source preconditions

Avery Felts
authored and
Avery Felts
committed
fix(sources): default unauthenticated github types

Avery Felts
authored and
Avery Felts
committed
fix(sources): preserve github settings on update

Avery Felts
authored and
Avery Felts
committed