2 different contributors failed to find the --ignore-tests command, we should give that command a better alias so that it's more discoverable.
<rdar://problem/106818932>
Pull request: https://github.com/WebKit/WebKit/pull/11619
Committed 261771@main (e52984098051): <https://commits.webkit.org/261771@main> Reviewed commits have been landed. Closing PR #11619 and removing active labels.
Committed 259548.444@safari-7615-branch (22dc63f086bf): <https://commits.webkit.org/259548.444@safari-7615-branch> Reviewed commits have been landed. Closing PR #477 and removing active labels.