skill
occupation
description
updated
merge
software-developers
Create a GitHub pull request for the current branch and immediately merge it into main when safe. Use when the user wants the current branch landed quickly.
2026-04-18
pr
software-developers
Create a GitHub pull request for the current branch. Use when the user wants a PR opened from the current branch into main.
2026-04-18