AdYour product here, seen by people installing AI tools every day

push-to-pr vs fix-members-short-description

push-to-pr and fix-members-short-description are both developer tools skills. fix-members-short-description scores higher (84 vs 82 out of 100). fix-members-short-description has more GitHub stars (17k), and fix-members-short-description was updated more recently (4 days ago). The table compares them side by side.

push-to-prfix-members-short-description
Score82 / 10084 / 100
What it doesPush 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.Use when asked to fix short descriptions of Python type members.
PublisherCommunity: Project-N-E-K-OCommunity: flet-dev
GradesMaintenance A, Licence A, Quality AMaintenance A, Licence A, Quality A
npm downloads a weekNot on npmNot on npm
RunsSkillSkill
Works withClaude Code, Claude appsClaude Code, Claude apps
GitHub stars3,08117,398
Last commit19 Oct 202619 Oct 2026
LicenceApache-2.0Apache-2.0
Listed since20 Oct 202620 Oct 2026
Install push-to-prInstall fix-members-short-description

Questions

Is push-to-pr or fix-members-short-description more popular?

fix-members-short-description has more GitHub stars: 17,398.

Can I use push-to-pr and fix-members-short-description together?

Yes. AI assistants can load several skills at once. Install both and the assistant picks the right one for each task.