git_clone
Clone a git repository into an isolated sandbox environment, including private repos via auth token and shallow cloning for speed.
Instructions
Clone a git repository into the sandbox.
Args: repo: Repository URL (e.g., "https://github.com/user/repo.git") branch: Branch to clone (default: repo's default branch) token: Optional auth token for private repos (injected securely, not in URL or history) path: Parent directory for clone (default: /workspace) shallow: If True, clone with --depth 1 for speed (default: True) sandbox: Named sandbox to use (default "default")
Returns: Clone result with repo info.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| branch | No | ||
| token | No | ||
| path | No | /workspace | |
| shallow | No | ||
| sandbox | No | default |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |