ivaldi download

Clone a repository from GitHub.

Synopsis

ivaldi download <owner/repo> [directory]

Description

Clone a GitHub repository to your local machine.

Arguments

• <owner/repo> - GitHub repository to clone
• [directory] - Optional target directory (defaults to repo name)

Examples

Basic Clone

ivaldi download javanhut/IvaldiVCS
cd IvaldiVCS

Clone to Specific Directory

ivaldi download javanhut/IvaldiVCS my-project
cd my-project

Authentication

Requires GitHub authentication for private repositories:

export GITHUB_TOKEN="your_token"
# or
gh auth login

What Gets Downloaded

• Default branch (usually main)
• Commit history
• Portal configuration (automatic)

After Cloning

ivaldi download owner/repo
cd repo

# See status
ivaldi whereami

# List available remote timelines
ivaldi scout

# Download other branches
ivaldi harvest feature-branch

Common Workflows

Clone and Contribute

ivaldi download username/project
cd project
ivaldi timeline create my-feature
# ... make changes ...
ivaldi gather .
ivaldi seal "Add feature"
ivaldi upload

Clone and Explore

ivaldi download username/project
cd project
ivaldi log
ivaldi scout
ivaldi harvest --all

Related Commands

• portal - Manage connections
• upload - Push changes
• scout - Discover branches
• harvest - Fetch branches

Comparison with Git

Git	Ivaldi
git clone url	ivaldi download owner/repo
Full URL required	Short format: owner/repo

Troubleshooting

Repository Not Found

Error: repository not found

Solutions:

• Check repository name spelling
• Verify you have access
• Authenticate for private repos