Agent Skills: 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 #N", "push到PR", or any variation meaning to push local commits onto an existing pull request. Covers finding the PR's head branch via GitHub API, setting up the correct remote, and pushing with HEAD:<branch> syntax.

UncategorizedID: project-n-e-k-o/n.e.k.o/push-to-pr

Author

project-n-e-k-o

https://github.com/project-n-e-k-o View all skills

Repository

project-n-e-k-o/n.e.k.o

Project-N-E-K-OLicense: MIT

939132

Install this agent skill to your local

pnpm dlx add-skill https://github.com/project-n-e-k-o/n.e.k.o/push-to-pr

Skill Files

Browse the full folder contents for push-to-pr.

Download Skill

Loading file tree…

Select a file to preview its contents.