CBirkbeck

Fix PR Feedback — Git skill for Claude Code

Git community

Fetch PR reviewer comments, implement fixes locally, gate the push behind explicit user approval, then watch CI to completion.

How to install Fix PR Feedback

Installs to ~/.claude/skills/cbirkbeck-mathlib-quality-fix-pr-feedback/SKILL.md

Terminal

mkdir -p ~/.claude/skills/cbirkbeck-mathlib-quality-fix-pr-feedback && curl -fsSL https://raw.githubusercontent.com/CBirkbeck/mathlib-quality/HEAD/commands/fix-pr-feedback.md -o ~/.claude/skills/cbirkbeck-mathlib-quality-fix-pr-feedback/SKILL.md

Restart Claude Code, or start a new session, for it to be picked up.

What Fix PR Feedback does

name: fix-pr-feedback description: Fetch PR reviewer comments, implement fixes locally, gate the push behind explicit user approval, then watch CI to completion

/fix-pr-feedback — Address PR Reviewer Comments

Pull every reviewer comment on a mathlib PR, implement the fixes locally, **stop and wait for user approval before pushing**, then push and watch CI to completion.

The non-negotiable rules:

Never push before the user has reviewed and approved the changes. No exceptions.

Alternatives in Git

Fix PR — by metabase - Fetches and fixes unresolved PR comments by automatically retrieving feedback, addressing review 46.5k ★
Ws Reset — Reset the current branch to main, fetch upstream, and update submodules 38.1k ★
Intel — On-demand intelligence fetch for a target — CVEs, disclosed reports, new features 3.8k ★