---
name: dev-workflow-review-pull-request
description: Run repository review agents for a GitHub pull request outside the development workflow. Use only when the user explicitly invokes $dev-workflow-review-pull-request with a pull request number.
---

# Review Pull Request

Use the supplied pull request number. Follow the canonical procedure in the plugin's `commands/review-pull-request.md` exactly.