create.pull.request.comment: Create a comment on a pull request
Description
Create a comment on a pull request
Usage
create.pull.request.comment(owner, repo, pull.id, content,
ctx = get.github.context())
Arguments
pull.id
the id of the pull request
ctx
the github context object