git_clone
Clone Gitopia repositories to create local copies for code reading or modification. Specify repository URL and local path, with optional branch selection and shallow cloning.
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 |