List of comments on a pull request

Property definitions

github $ GithubAPI :: get_pull_comments
	# List of comments on a pull request
	fun get_pull_comments(repo_slug: String, pull_number: Int, page, per_page: nullable Int): Array[PullComment] do
		return new GithubArray[PullComment].from(get(
			"/repos/{repo_slug}/pulls/{pull_number}/comments?{pagination(page, per_page)}"))
	end
lib/github/api.nit:356,2--360,4