jules_merge_pr
Merge verified GitHub PRs from Google Jules with a squash merge and auto-delete remote branch via gh, simplifying cleanup.
Instructions
Safely squash-merge a verified GitHub PR opened by Google Jules and delete the remote branch via 'gh'.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | No | Repository name if PR number is given. | |
| merge_method | No | Merge method: 'squash' (default), 'merge', or 'rebase'. | |
| delete_branch | No | Delete remote branch after merge (defaults to true). | |
| pr_url_or_number | Yes | GitHub PR URL or PR number. |