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
更新日 2/20/2026
スター
946
フォーク
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
インストール
$ install --globalskills.sh
使い方
インストール後、ターミナルで以下のコマンドを実行してこのスキルを使用できます:
skills use push-to-pr