fun pull: PullRequest

github :: PullRequestPullCommentEvent :: pull

PullRequest the comment belongs to.

Property definitions

github $ PullRequestPullCommentEvent :: pull 
	# `PullRequest` the `comment` belongs to.
	var pull: PullRequest is writable
lib/github/events.nit:195,2--196,34
Nit standard library. Version v0.8-3595-g3f58b4f.