Get the Github pull request #number.

Returns null if the pull request cannot be found.

var api = new GithubAPI(get_github_oauth)
var repo = api.get_repo("nitlang/nit")
assert repo != null
var pull = api.get_pull(repo, 1)
assert pull.title == "Doc"
assert pull.user.login == "Morriar"

Property definitions

github $ GithubAPI :: get_pull
	# Get the Github pull request #`number`.
	#
	# Returns `null` if the pull request cannot be found.
	#
	# ~~~nitish
	# var api = new GithubAPI(get_github_oauth)
	# var repo = api.get_repo("nitlang/nit")
	# assert repo != null
	# var pull = api.get_pull(repo, 1)
	# assert pull.title == "Doc"
	# assert pull.user.login == "Morriar"
	# ~~~
	fun get_pull(repo_slug: String, number: Int): nullable PullRequest do
		return get("/repos/{repo_slug}/pulls/{number}").as(nullable PullRequest)
	end
lib/github/api.nit:340,2--354,4