HugoNijhuis ec45a86c27 feat: add tea CLI pull request tools ...

Add three tools for managing pull requests via the tea CLI:
- tea-pulls: list pull requests filtered by state
- tea-pr-get: get PR details with comments
- tea-pr-create: create a PR with title, branch, assignees, and labels

2026-07-29 21:48:13 +02:00

..

tools

feat: add tea CLI pull request tools

2026-07-29 21:48:13 +02:00