home/categories/git-workflows/project-n-e-k-o-n-e-k-o-agent-skills-push-to-pr-skill-md
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

Project-N-E-K-O
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