Merge test into main#359

Merged

anderdc merged 10 commits intomainfrom

Apr 10, 2026

Commits on Apr 10, 2026

fix: issues list --json --id returns null instead of structured error for missing issues (#335)

bitloi
authored and
anderdc
committed
Revamp (#348)

committed
fix: split GraphQL file content fetches into batches of 50 to prevent 502 errors on large PRs (#331)

bittoby
authored and
anderdc
committed
Deactivate autoppia repos (deregistered) (#347)

eureka0928
and
anderdc
committed
Improve CLI help output and shared option decorators (#341)

it-education-md
and
anderdc
committed
fix: use merge-base for tree-diff scoring to avoid inflated token scores (#346)

MkDev11
authored and
anderdc
committed
fix: clean up stale miner data when hotkey re-links to new GitHub account (#340)

tmimmanuel
and
anderdc
committed
chore: accept async-substrate-interface PRs merged to staging (#351)

it-education-md
and
anderdc
committed
Issue discovery (#356)

anderdc
and
anderdc
committed
fix: resolve pyright errors in pat_handler and tests (#360)
anderdc
authored