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.
$npx -y skills add project-n-e-k-o/n.e.k.o --skill push-to-prInstalls into the current project.
Run `npx skills use "https://github.com/project-n-e-k-o/n.e.k.o" --skill "project-n-e-k-o/n.e.k.o/push-to-pr"` and follow the generated skill instructions now. Read its complete output, redirecting it to a temporary file first if necessary. Resolve relative paths from the supporting-files directory it provides.
Use the skills in "https://github.com/project-n-e-k-o/n.e.k.o" that are relevant to the current task. Run `npx skills add "https://github.com/project-n-e-k-o/n.e.k.o"` and select the relevant skills, then follow their instructions.