WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
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
Add attachment
proposed patch, testcase, etc.
Carlos Garcia Campos
Comment 1
2022-07-07 03:32:03 PDT
Pull request:
https://github.com/WebKit/WebKit/pull/2162
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
<
rdar://problem/96655155
>
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug