004 GitHub repo selection#6

Merged

amargiovanni merged 3 commits intomainfrom

004-github-repo-selection

Nov 29, 2025

Commits on Nov 29, 2025

feat(cli): implement GitHub repository interactive selection (Feature 004)
amargiovanni
committed
fix(cli): integrate select_github_repos() into main() entry point
amargiovanni
committed
fix(validation): allow repo names starting with period
amargiovanni
committed