git-workflowsdevops
push-to-pr
Push commits to an existing GitHub PR's source branch. NEVER create new branches. Use when the user says "push to PR
maintainer
Project-N-E-K-O
Actualizado 2/20/2026
Estrellas
946
Forks
133
quick start
Installation and usage
Push commits to an existing GitHub PR's source branch. NEVER create new branches. Use when the user says "push to PR
Instalación
$ install --globalskills.sh
Uso
Después de instalarlo, puedes usar este skill ejecutando el siguiente comando en tu terminal:
skills use push-to-pr