Git Create Or Update PR
git_create_or_update_prPush the current branch to GitHub and either create a new pull request or update an existing one for the branch, optionally embedding a Leantime ticket.
Instructions
Push the current branch and create or update its GitHub PR (the aipr workflow). Requires gh authenticated.
The agent supplies title and body. If ticket_id is given, the Leantime ticket markdown block is appended to the body. Detects an existing PR for the branch and edits it, otherwise creates a new one.
Args:
title (string): PR title
body (string): PR body (markdown)
ticket_id (string|number, optional): Leantime ticket to embed
base (string, optional): base branch for a new PR
draft (boolean, optional): open as draft (new PRs only)
repo_path (string, optional): repository path (default: server cwd)
Returns JSON: { url, number, action: "created" | "updated" }
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| title | Yes | PR title | |
| body | Yes | PR body in markdown | |
| ticket_id | No | Leantime ticket id to embed | |
| base | No | Base branch (new PRs only) | |
| draft | No | Open as draft (new PRs only) | |
| repo_path | No | Path to the git repository. Defaults to the server's working directory. |