webkit-patch should check if an issue is redacted before uploading a patch to bugs.webkit.org.
<rdar://problem/108169167>
Pull request: https://github.com/WebKit/WebKit/pull/12883
Committed 263104@main (dc5b85ccaaa7): <https://commits.webkit.org/263104@main> Reviewed commits have been landed. Closing PR #12883 and removing active labels.