Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 71af31493956aee8c303ef7443e8d3a74486730b
https://github.com/WebKit/WebKit/commit/71af31493956aee8c303ef7443e8d3a74486730b
Author: Jonathan Bedard <jbed...@apple.com>
Date: 2023-01-23 (Mon, 23 Jan 2023)
Changed paths:
M Tools/CISupport/ews-build/events.py
Log Message:
-----------
[ews-build.webkit.org] Support PRs with many files changed
https://bugs.webkit.org/show_bug.cgi?id=250714
rdar://104339227
Reviewed by Aakash Jain.
GitHub's PR file changed API only provides a list of 30 files by default.
If we support pagination, we can get many more.
* Tools/CISupport/ews-build/events.py:
(GitHubEventHandlerNoEdits._get_pr_files): Paginate files changed.
Canonical link: https://commits.webkit.org/259213@main
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes
