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.
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 |