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

[Zhao Song]

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.

Thank you for the quick review!

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

PR Comment: https://git.openjdk.org/skara/pull/1736#issuecomment-3255546458