Merge pull request

Carry the current request's change through a pull request, verified merge, and safe local cleanup. Complete the necessary commit, synchronization, publication, and PR work, using the pull skill for base synchronization, the pr skill to create or update the pull request, and the clean-branches skill for the cleanup after the merge.

This skill requires pull, pr, and clean-branches. Before doing any work, confirm each one is installed. When one is missing, stop and report it with its install command, npx skills@latest add toy-crane/skills --skill <name>, using the project's package manager runner where it pins one.