Review PR Review a GitHub pull request, verify CI status, and merge + tag a release if appropriate. Workflow 1. Fetch PR details Use CLI to get the PR diff, description, and CI status: 2. Review the changes Carefully review the diff. Pay attention to: - Code quality and correctness - Potential bugs or edge cases - Whether the change matches the PR description - Test coverage for new functionality - Adherence to existing code style and patterns in the package If there are issues, post a review comment via and stop. 3. Check CI status All CI checks must be green before merging. Verify via the f…