RFR: 2544: SKARA bot ignores GitHub comments in some cases

[Erik Joelsson]

On Thu, 4 Sep 2025 20:18:00 GMT, Zhao Song <zsong at openjdk.org> wrote:

> When querying pull requests in GitHub, we should query all the pull requests instead of the first page, otherwise, in some cases, some prs will be ignored.

Marked as reviewed by erikj (Lead).

-------------

PR Review: https://git.openjdk.org/skara/pull/1736#pullrequestreview-3187150414