Documents et code · repo_checkout
Cloner un dépôt GitHub
Récupère un dépôt (privé via le connecteur GitHub) dans le bac à sable.
- Prix
- 1 crédit / appel
- ≈ 0,078 € · 0,085 $US
- Prérequis
- Aucun connecteur
- fonctionne aussi avec GitHub
- Validation humaine
- Non
- lecture ou écriture interne
- Fiabilité
- Vérifié
- pas encore mesuré
Entrée
| Champ | 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>). |
Appeler cet outil
Via l'API HTTP, ou depuis le serveur MCP avec le méta-outil run.
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":"…"} })