perf: skip archived repos without fetching them - #1065

Open

rafaelleonardocruz wants to merge 2 commits into

github-community-projects:main-enterprisefrom

rafaelleonardocruz:skip-archived-repos

Commits on Aug 19, 2026

perf: skip archived repos without fetching them

rafaelleonardocruz
and
claude
committed
e8d49dc
fix: keep archived off the repo ref and guard the no-config path

rafaelleonardocruz
and
claude
committed
3d5c064