261553 2023-09-14 02:36:56 -0700 Add Michael[tm] Smith to contributors.json 2023-09-14 05:11:12 -0700 1 1 1 Unclassified WebKit Tools / Tests WebKit Nightly Build Unspecified Unspecified RESOLVED FIXED InRadar P2 Normal --- 1 mike mike webkit-bug-importer oldest_to_newest 1977467 0 mike 2023-09-14 02:36:56 -0700 I guess some GitHub integrations don’t fully work as expected unless you’re in the contributors.json file… 1977468 1 mike 2023-09-14 02:38:55 -0700 Pull request: https://github.com/WebKit/WebKit/pull/17770 1977475 2 ews-feeder 2023-09-14 05:10:23 -0700 Committed 267984@main (90e1e2c448d7): <https://commits.webkit.org/267984@main> Reviewed commits have been landed. Closing PR #17770 and removing active labels. 1977476 3 webkit-bug-importer 2023-09-14 05:11:12 -0700 <rdar://problem/115487540>