Git Merge to Dev

Overview

Variant of git-merge-to-main with target = dev (preferred) or develop (fallback). Merges the current branch into the dev branch, then safely deletes the source branch unless the source is protected.

Announce at start: "I'm using the git-merge-to-dev skill to merge <source-branch> into <target> and delete it unless it is protected."

Target Branch Resolution

Resolve which branch to merge into, in order:

1. If dev exists locally → target = dev
2. Else if develop exists locally → target = develop
3. Else → abort: "No dev or develop branch found locally. Create one or use git-merge-to-main."