--- name: dev-workflow-address-pull-request-feedback description: Plan and address feedback on a GitHub pull request outside the development workflow. Use only when the user explicitly invokes $dev-workflow-address-pull-request-feedback with a pull request number. --- # Address Pull Request Feedback Use the supplied pull request number. Follow the canonical procedure in the plugin's `commands/address-pull-request-feedback.md` exactly.