Documents & code · github_open_pull_request
Open a pull request
Propose the sandbox changes as a GitHub pull request, after human validation.
- Price
- 1 credit / call
- ≈ €0.078 · $0.085
- Requirements
- GitHub
- set it up in Settings → Integrations
- Human approval
- Yes, by default
- outside-facing write: a human validates
- Reliability
- Verified
- not measured yet
Input
| Field | Type | Description |
|---|---|---|
| path * | string | Checkout path in the sandbox (from repo_checkout). |
| title * | string | PR title (imperative, under 70 characters). |
| body * | string | PR description in markdown: what, why, verification done, what was not tested. |
| branch | string | Head branch name (default ezyagents/<slug>-<timestamp>). |
| base | string | Base branch (default: the repository default branch). |
| commit_message | string | Commit message (default: the title). |
| draft | boolean | Open as a draft PR (default false). |
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":"github_open_pull_request","input":{"path":"…","title":"…","body":"…","branch":"…"}}'$
run({ "tool": "github_open_pull_request", "input": {"path":"…","title":"…","body":"…","branch":"…"} })