git_clone
Clone a Gitopia repository to a new workspace directory for reading or modifying code. Provide the repo URL and local path. Optionally specify a branch or shallow clone depth. Fails if target already exists.
Instructions
Use this when you need a local copy of a Gitopia repository to read or modify code. Clones into a new workspace directory. Fails if target already exists. Requires 'repo_url' (gitopia://owner/repo or owner/repo) and 'local_path' (workspace-relative). Optional: 'branch' for a specific branch, 'depth' for shallow clone. See also: get_file_contents (for reading without cloning), bootstrap_repo (for new repos).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo_url | Yes | gitopia:// URL or owner/name format | |
| local_path | Yes | Path relative to workspace root | |
| branch | No | Specific branch to clone | |
| depth | No | Shallow clone depth |