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 20/2/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