juju/jenkins-github-lander — pull request #19 by bz2 (2014-10-02 10:05:04+00:00)
Title: Fetch all pages of pull requests

Pull requests can be spread across multiple pages, so share the
link navigation code that was added for reading comments.

@binary132 discovered that his proposals were being ignored, the github api documentation doesn't state prs get paginated, but the same scheme is used as is for comments.