github :: PullComment :: defaultinit
# Comments made on Github pull request diffs.
#
# Should be accessed from `GithubAPI::get_diff_comment`.
#
# See <https://developer.github.com/v3/pulls/comments/>.
class PullComment
super Comment
serialize
# Pull request that contains `self`.
fun pull_number: Int do return pull_request_url.split("/").last.to_i
# Link to the pull request on API.
var pull_request_url: String is writable
# Diff hunk.
var diff_hunk: String is writable
# Path of commented file.
var path: String is writable
# Position of the comment on the file.
var position: nullable Int is writable
# Original position in the diff.
var original_position: Int is writable
# Commit referenced by this comment.
var commit_id: String is writable
# Original commit id.
var original_commit_id: String is writable
end
lib/github/api.nit:930,1--962,3