merge-queue fails to find reviewer on GitHub PRs with lots of review activity because our tooling doesn't handle the case where API results become paginated This was seen with the following PRs: https://github.com/WebKit/WebKit/pull/2741 https://github.com/WebKit/WebKit/pull/2417
<rdar://problem/98129710>
For reference, corresponding buildbot builds with the issue: https://ews-build.webkit.org/#/builders/74/builds/2040 https://ews-build.webkit.org/#/builders/74/builds/2175 GitHub api which Merge-Queue use (e.g.: https://api.github.com/repos/Webkit/WebKit/pulls/2741/reviews) wasn't listing the APPROVED state since it got paginated.
Pull request: https://github.com/WebKit/WebKit/pull/6355
Committed 256752@main (42fd020fc0c3): <https://commits.webkit.org/256752@main> Reviewed commits have been landed. Closing PR #6355 and removing active labels.