The interface is localized. Original skills retain their author's language; some long-form pages are provided in English.
Explore skills
Development · SKILL.md

github-pr-merge

github-pr-merge

Merges GitHub Pull Requests after validating pre-merge checklist. Use when user wants to merge PR, close PR, finalize PR, complete merge, approve and merge, or execute merge. Runs pre-merge validation (tests, lint, CI, comments), confirms with user, merges with proper format, handles post-merge cleanup.

Independent GitHub snapshot · Automated classification · Original documentation governs

Skill documentation

GitHub
Loading documentation from the source…
Saved skills