skill
ocupación
descripción
actualizado
merge
Desarrolladores de software
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
Desarrolladores de software
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