Property definitions

github $ PullRequestEvent :: defaultinit
# Triggered when an event occurs on a pull request.
#
# Triggered when a pull request is assigned, unassigned,
# labeled, unlabeled, opened, closed, reopened, or synchronized.
class PullRequestEvent
	super GithubEvent
	serialize

	# The pull request number.
	var number: Int is writable

	# The `PullRequest` itself.
	var pull: PullRequest is writable
end
lib/github/events.nit:172,1--185,3