build.webkit.org doesn't have credentials to push, make that clear in local checkouts by explicitly breaking 'git push'
<rdar://problem/108571967>
Pull request: https://github.com/WebKit/WebKit/pull/13208
Committed 263468@main (21f590fcad6d): <https://commits.webkit.org/263468@main> Reviewed commits have been landed. Closing PR #13208 and removing active labels.