add a comment to a pull Request

[sbuisson]

Hello,
It's seem that your api don't implement the creation of a comment for a pullRequest:
POST /repos/:owner/:repo/pulls/:number/comments

the doc here:
https://developer.github.com/v3/pulls/comments/#create-a-comment

[iraleigh]

This was confusing to me at first, but it is important to note that GHPullRequest inherits from GHIssue. This gives it a method .comment()

e.g.

GHPullRequest pullRequest = ...
pullRequest.comment("Blue skies, smiling at me....");

[kohsuke]

This is implemented as GHPullRequestReviewComment which is separate from GHIssueComment