There isn't a good reason for spiders to be crawling commits.webkit.org, and those crawlers can cause considerable performance issues. Disable these spiders by default.
<rdar://problem/116141929>
Pull request: https://github.com/WebKit/WebKit/pull/18305
Committed 268539@main (8a00858352ad): <https://commits.webkit.org/268539@main> Reviewed commits have been landed. Closing PR #18305 and removing active labels.