create_github_pr_task
Clones a GitHub repository, creates a branch from a specified base, implements a given task, and opens a pull request.
Instructions
Have the agent clone a GitHub repo, branch off base_branch, do the task, and open a PR.
Token is injected via the sandbox network allowlist header transform (never placed in the prompt text), so it stays out of interaction transcripts/logs.
Args: repo_url: e.g. "https://github.com/owner/repo" (public or private). task_prompt: What the agent should implement/fix. base_branch: Branch to start from (default "main"). work_branch: Branch name to create; auto-generated if omitted. pr_title: PR title; defaults to a summary derived from task_prompt. github_token: GitHub PAT with repo scope. Falls back to GITHUB_TOKEN env var. model: Gemini model for the interaction. agent: Agent identifier.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| agent | No | antigravity-preview-05-2026 | |
| model | No | gemini-3.6-flash | |
| pr_title | No | ||
| repo_url | Yes | ||
| base_branch | No | main | |
| task_prompt | Yes | ||
| work_branch | No | ||
| github_token | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |