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
Updated 2/20/2026
Stars
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
Usage
Once installed, you can use this skill by running the following command in your terminal:
skills use push-to-pr