RESOLVED FIXED 242434
The script webkit-filter-log is broken since the github migration
https://bugs.webkit.org/show_bug.cgi?id=242434
Summary The script webkit-filter-log is broken since the github migration
Carlos Garcia Campos
Reported 2022-07-07 03:27:24 PDT
I think it can be simplified a lot now and simply call git log with a simple format showing the info we need for the directories containing changes specific to a given port.
Attachments
Carlos Garcia Campos
Comment 1 2022-07-07 03:32:03 PDT
EWS
Comment 2 2022-07-08 00:58:30 PDT
Committed 252265@main (f2bacb5cfc5f): <https://commits.webkit.org/252265@main> Reviewed commits have been landed. Closing PR #2162 and removing active labels.
Radar WebKit Bug Importer
Comment 3 2022-07-08 00:59:14 PDT
Note You need to log in before you can comment on or make changes to this bug.