Add tools for one-off PR comments and replying to PR review comments - #143

Merged

juruen merged 10 commits into

github:mainfrom

ashwin-ant:prcomments

Apr 12, 2025

Commits on Apr 8, 2025

Add add_pull_request_review_comment tool for PR review comments
ashwin-ant
and
claude
committed
8b5299a
Add reply_to_pull_request_review_comment tool
ashwin-ant
and
claude
committed
e0f735d
Update README with new PR review comment tools
ashwin-ant
committed
b79abbe
rebase
ashwin-ant
committed
84e6f6a

Commits on Apr 11, 2025

Commits on Apr 12, 2025

Merge branch 'main' into prcomments
juruen
authored
883e0f4