Documents & code · repo_checkout
Check out a GitHub repository
Clone a repository (private through the GitHub connector) into the sandbox.
- Price
- 1 credit / call
- ≈ €0.078 · $0.085
- Requirements
- No connector
- also works with GitHub
- Human approval
- No
- read or internal write
- Reliability
- Verified
- not measured yet
Input
| Field | Type | Description |
|---|---|---|
| repository * | string | `owner/repo` or a github.com URL. |
| ref | string | Branch, tag or commit sha to check out (default: the default branch). |
| full_history | boolean | Full clone with history instead of a shallow one (default false). |
| path | string | Target directory under /home/user (default /home/user/repos/<repo>). |
Call this tool
Through the HTTP API, or from the MCP server with the run meta-tool.
curl https://api.ezyagents.fr/gateway/v1/run \
-H "Authorization: Bearer ezk_…" -H "Content-Type: application/json" \
-d '{"tool":"repo_checkout","input":{"repository":"…","ref":"…","full_history":true,"path":"…"}}'$
run({ "tool": "repo_checkout", "input": {"repository":"…","ref":"…","full_history":true,"path":"…"} })