CLOSED FIXED244300
Tools/Scripts/clean-webkit should make local repository optimization optional 
https://bugs.webkit.org/show_bug.cgi?id=244300
Summary Tools/Scripts/clean-webkit should make local repository optimization optional
Roy Reapor
Reported 2022-08-24 10:56:11 PDT
Tools/Scripts/clean-webkit should make local repository optimization optional `git gc` could take several minutes to run.
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2022-08-24 10:56:46 PDT
<rdar://problem/99093208>
Roy Reapor
Comment 2 2022-08-24 10:59:55 PDT
This is related to https://bugs.webkit.org/show_bug.cgi?id=241925
Roy Reapor
Comment 3 2022-08-24 11:21:48 PDT
Pull request: https://github.com/WebKit/WebKit/pull/3618
EWS
Comment 4 2022-08-24 15:02:03 PDT
Committed 253744@main (0ea65fe81f6f): <https://commits.webkit.org/253744@main> Reviewed commits have been landed. Closing PR #3618 and removing active labels.
Note You need to log in before you can comment on or make changes to this bug.