pr-revisionlisted

# PR Revision Companion skill to the dev-pipeline. Addresses human PR review comments after a PR is opened. **Runtime:** Same as dev-pipeline — Claude Code CLI or IDE. See dev-pipeline SKILL.md for runtime details. **Design doc:** `docs/plans/2026-03-29-pr-revision-design.md` **Invocation:** `/pr-revision <PR_NUMBER>` ## Prerequisites - `gh auth status` must succeed - Repository must have label: `in-progress` - The PR must be open (not closed or merged) - Worktree base dir: config `topology.repos.<host>.worktreesDir` ## Bot Identity All GitHub **write** operations (comments, labels, thread resolution) MUST use the bot wrapper: ```bash # When config `tracker.bot.enabled`, use the bot wrapper installed by # `../dev-pipeline/tools/install-gh-bot.sh`, exported as the env var named by # `tracker.bot.envVar` (default GH_BOT). # Use $GH_BOT instead of gh for: api POST/PATCH/PUT, pr comment, issue comment, issue edit # Use regular gh for: reads (pr view, api GET) ``` **Known limitation:** `--add-assignee @me` does not work via the bot wrapper. Use regular `gh` for assignee operations. Git commits use the bot identity via flags: ```bash # Commit identity comes from the installed bot (config `tracker.bot`); the wrapper # sets user.name / user.email. When the bot is disabled, commit as the repo default. git commit -m "..." ``` ## State Tracking Uses the same marker contract as the main pipeline: ``` <!-- dev-pipeline --> <!-- run_id: {RUN_ID} --> <!-- stage: pr-revision -