Property definitions

github $ PullRequestPullCommentEvent :: defaultinit
# Triggered when a comment is created on a pull request diff.
class PullRequestPullCommentEvent
	super GithubEvent
	serialize

	# The `Comment` itself.
	var comment: PullComment is writable

	# `PullRequest` the `comment` belongs to.
	var pull: PullRequest is writable
end
lib/github/events.nit:187,1--197,3