CBirkbeck

Fix Pr Feedback

Name: Fix Pr Feedback
Author: CBirkbeck

Git community

SOURCE https://github.com/CBirkbeck/mathlib-quality/blob/main/commands/fix-pr-feedback.md

Description

--- 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. -

Installation

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.