You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
After --bootstrap (#235) prepares a remote host with the devcontainer image, we still need a way to clone a project repo and start its devcontainer in one command.
Context
After
--bootstrap(#235) prepares a remote host with the devcontainer image, we still need a way to clone a project repo and start its devcontainer in one command.Refs: #70, #231, #235
Proposal
Support a
gh:org/repo[:branch]target syntax indevc-remote.sh:Flow
~/.config/devc-remote/config.yamlfrom devc-remote --bootstrap: one-time remote host setup with config file #235) forprojects_dirgh:org/repoto<projects_dir>/<repo>(or fetch + checkout if already cloned):branchif specified, default branch otherwiseinit-workspace.shon remote (resolves{{IMAGE_TAG}},{{SHORT_NAME}}templates)compose up+ connect flowRe-run behavior
git fetch && git checkout <branch>(no re-clone)compose upConfig interaction
Uses
projects_dirfrom remote config (#235) to determine clone location. Falls back to~/Projectsif no config exists.Acceptance criteria
gh:org/repoclones to<projects_dir>/<repo>on remotegh:org/repo:branchchecks out specified branchinit-workspace.shruns after clone/checkouthost:pathsyntax continues workinggh:syntax