Skip to content

feat(repos): add personal GitHub repo cloning module#74

Merged
adamamyl merged 1 commit into
mainfrom
feature/personal-github-repos
May 15, 2026
Merged

feat(repos): add personal GitHub repo cloning module#74
adamamyl merged 1 commit into
mainfrom
feature/personal-github-repos

Conversation

@adamamyl
Copy link
Copy Markdown
Owner

@adamamyl adamamyl commented May 15, 2026

Summary

  • New --traefik-proxy, --dracula, and --personal-repos CLI flags
  • New lib/installer_utils/module_personal_repos.py module
  • PERSONAL_GITHUB_REPOS constant: repo name → URL mapping
  • Dest resolved at runtime as ~{user}/projects/{repo} — no hardcoded paths

Test plan

  • ./setup_machine.py --traefik-proxy --dry-run logs expected clone path
  • ./setup_machine.py --dracula --dry-run logs expected clone path
  • ./setup_machine.py --personal-repos --dry-run runs both
  • ./setup_machine.py --all --dry-run includes personal repos without error

Adds --traefik-proxy, --dracula, and --personal-repos CLI flags.
Dest resolved from target user's home at runtime (~user/projects/<name>)
rather than hardcoded paths, so works on Linux and macOS.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@adamamyl adamamyl merged commit 8c2f9dc into main May 15, 2026
1 of 3 checks passed
@adamamyl adamamyl deleted the feature/personal-github-repos branch May 15, 2026 19:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant