Menu
Merge a pull request using squash and merge, delete the remote branch, and pull latest changes
Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.
Basé sur la classification professionnelle SOC
Use when the user asks to take on, work on, or pick up a Linear issue - fetches issue details and sets up an isolated git worktree before starting implementation
Work on LeetCode problems in the ~/leetcode directory
Start the clawdbot gateway and show status
Open a new tab in iTerm, optionally start Claude with instructions
A simple hello world skill that demonstrates basic skill creation
Navigate to ~/kraken directory, initialize claude, and show local changes
| name | merge-pr |
| description | Merge a pull request using squash and merge, delete the remote branch, and pull latest changes |
| argument-hint | [PR number or URL] |
| allowed-tools | Bash(gh:*), Bash(git:*) |
Merge the specified pull request following this exact workflow:
Squash and merge the PR (no merge commits):
gh pr merge <PR> --squash --delete-branch
--squash to combine all commits into a single commit--delete-branch to automatically delete the remote branch after mergingSwitch to the main branch and pull latest changes:
git checkout main && git pull --prune
--prune removes any stale remote-tracking branches that no longer exist on the remoteClean up the local branch (if it exists):
git branch -d <branch-name>
Report the result to the user: