269034 2024-02-08 17:01:35 -0800 [ews-build.webkit.org] Handle duplicate GitHub hooks 2024-02-09 11:08:19 -0800 1 1 1 Unclassified WebKit Tools / Tests WebKit Nightly Build Unspecified Unspecified RESOLVED FIXED InRadar P2 Normal --- 1 jbedard jbedard webkit-bug-importer oldest_to_newest 2012020 0 jbedard 2024-02-08 17:01:35 -0800 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). 2012021 1 jbedard 2024-02-08 17:01:53 -0800 <rdar://problem/122589894> 2012023 2 jbedard 2024-02-08 17:05:27 -0800 Pull request: https://github.com/WebKit/WebKit/pull/24112 2012207 3 ews-feeder 2024-02-09 09:15:04 -0800 Committed 274369@main (a2343bf6a44c): <https://commits.webkit.org/274369@main> Reviewed commits have been landed. Closing PR #24112 and removing active labels. 2012251 4 jbedard 2024-02-09 10:58:42 -0800 Re-opening for pull request https://github.com/WebKit/WebKit/pull/24158 2012253 5 ews-feeder 2024-02-09 11:08:17 -0800 Committed 274377@main (9ca954b0571e): <https://commits.webkit.org/274377@main> Reviewed commits have been landed. Closing PR #24158 and removing active labels.