feat: add tea CLI pull request tools #110

Merged

HugoNijhuis merged 1 commits from feat/tea-pr-tools into main

2026-07-29 19:50:28 +00:00

Author	SHA1	Message	Date
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

Author

SHA1

Message

Date

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