The pull request number.

Property definitions

github $ PullRequestEvent :: number
	# The pull request number.
	var number: Int is writable
lib/github/events.nit:180,2--181,28