mergePullRequest
Merges a pull request by cloning/fetching the repository, merging the PR head into the base branch, and pushing to the bridge. Optionally sends a Nostr status update.
Instructions
Full merge: git clone/fetch with signed HTTPS auth, merge PR head, push to bridge, optional 30618+1631. Signer must be repo owner OR on latest kind 30617 merge_maintainers (if that tag exists) OR on maintainers when merge_maintainers is absent. Requires git on PATH. repoId optional if derivable from PR a-tag.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"prId": "<prId>",
"ownerPubkey": "<ownerPubkey>",
"privkey": "<privkey>"
},
"name": "mergePullRequest"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| prId | Yes | PR event id (kind 1618) | |
| relays | No | ||
| repoId | No | Repository id/slug (optional if present on PR) | |
| privkey | Yes | ||
| baseBranch | No | Branch to merge into (default main) | |
| ownerPubkey | Yes | Repo owner hex or npub (must match PR a-tag owner) | |
| mergeMessage | No | ||
| skipNostrStatus | No | If true, only push to bridge + state, no 1631 |