RESOLVED FIXED269034
[ews-build.webkit.org] Handle duplicate GitHub hooks 
https://bugs.webkit.org/show_bug.cgi?id=269034
Summary [ews-build.webkit.org] Handle duplicate GitHub hooks
Jonathan Bedard
Reported 2024-02-08 17:01:35 PST
Occasionally, GitHub will send duplicate hooks. ews-build.webkit.org, in particular, should handle such duplicates. Note that in practice, these duplicates are very close together in time, and in general, we want to process duplicate build requests if they are sufficiently far apart (like an engineer re-adding merge-queue an hour after automation remove the label, for example).
Attachments
Add attachment proposed patch, testcase, etc.
Jonathan Bedard
Comment 1 2024-02-08 17:01:53 PST
<rdar://problem/122589894>
Jonathan Bedard
Comment 2 2024-02-08 17:05:27 PST
Pull request: https://github.com/WebKit/WebKit/pull/24112
EWS
Comment 3 2024-02-09 09:15:04 PST
Committed 274369@main (a2343bf6a44c): <https://commits.webkit.org/274369@main> Reviewed commits have been landed. Closing PR #24112 and removing active labels.
Jonathan Bedard
Comment 4 2024-02-09 10:58:42 PST
Re-opening for pull request https://github.com/WebKit/WebKit/pull/24158
EWS
Comment 5 2024-02-09 11:08:17 PST
Committed 274377@main (9ca954b0571e): <https://commits.webkit.org/274377@main> Reviewed commits have been landed. Closing PR #24158 and removing active labels.
Note You need to log in before you can comment on or make changes to this bug.