Tools/Scripts/clean-webkit should make local repository optimization optional `git gc` could take several minutes to run.
<rdar://problem/99093208>
This is related to https://bugs.webkit.org/show_bug.cgi?id=241925
Pull request: https://github.com/WebKit/WebKit/pull/3618
Committed 253744@main (0ea65fe81f6f): <https://commits.webkit.org/253744@main> Reviewed commits have been landed. Closing PR #3618 and removing active labels.