pr-mergelisted

# Merge PR Locally (Preserving GPG Signatures) Merge a GitHub PR into main using a local fast-forward merge so the original GPG-signed commit(s) land on main with their signatures intact. GitHub's merge UI re-creates commits with GitHub's own key, losing the author's GPG signature and showing "Unverified" on repos that enforce signing. Read `~/.claude/skills/shared/bash-rules.md` for bash command constraints. ## Context - Current branch: !`git rev-parse --abbrev-ref HEAD` - Working tree status: !`git status --short` - Open PRs: !`gh pr list --state open --json number,title,headRefName` ## Arguments Optional: PR number or branch name. If omitted, auto-detect from the current branch or find the single open PR. ## Workflow ### Step 1: Identify the PR 1. If a PR number was given as argument, use it directly. 2. If a branch name was given, find its PR: ``` gh pr list --head <branch-name> --json number,title,state --jq '.[0]' ``` 3. If no argument was given, try the current branch: ``` git rev-parse --abbrev-ref HEAD ``` If not on main, look up its PR. If on main, list open PRs and pick the single one (ask the user if there are multiple): ``` gh pr list --state open --json number,title,headRefName ``` 4. Fetch PR details: ``` gh pr view <number> --json number,title,state,headRefName,baseRefName,commits,reviews,statusCheckRollup ``` Abort if the PR is not open or if checks are failing. ### Step 2: Verify readiness 1. Confirm