List of pull-requests associated with their ids.

Implementation notes: because PR numbers are not consecutive, PR are loaded from pages. See: https://developer.github.com/v3/pulls/#list-pull-requests

Property definitions

github $ GithubAPI :: get_repo_pulls
	# List of pull-requests associated with their ids.
	#
	# Implementation notes: because PR numbers are not consecutive,
	# PR are loaded from pages.
	# See: https://developer.github.com/v3/pulls/#list-pull-requests
	fun get_repo_pulls(repo_slug: String, page, per_page: nullable Int): Array[PullRequest] do
		return new GithubArray[PullRequest].from(get(
			"/repos/{repo_slug}/pulls?{pagination(page, per_page)}"))
	end
lib/github/api.nit:260,2--268,4