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
Mis à jour 2/20/2026
Étoiles
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
Installation
$ install --globalskills.sh
Utilisation
Après l'installation, vous pouvez utiliser ce skill en exécutant la commande suivante dans votre terminal :
skills use push-to-pr