Integrated: 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.

This pull request has now been integrated.

Changeset: 3d24e1aa
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/3d24e1aad2e7f392134cf368765534ebb49ba60a
Stats:     2 lines in 1 file changed: 0 ins; 2 del; 0 mod

2544: SKARA bot ignores GitHub comments in some cases

Reviewed-by: erikj

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

PR: https://git.openjdk.org/skara/pull/1736