Pull request that contains self.

Property definitions

github $ PullComment :: pull_number
	# Pull request that contains `self`.
	fun pull_number: Int do return pull_request_url.split("/").last.to_i
lib/github/api.nit:939,2--940,69