Bug 256007

Summary:	[build.webkit.org] Break 'git push'
Product:	WebKit	Reporter:	Jonathan Bedard <jbedard>
Component:	Tools / Tests	Assignee:	Jonathan Bedard <jbedard>
Status:	RESOLVED FIXED
Severity:	Normal	CC:	webkit-bug-importer
Priority:	P2	Keywords:	InRadar
Version:	WebKit Nightly Build
Hardware:	Unspecified
OS:	Unspecified

Description Jonathan Bedard 2023-04-26 13:17:00 PDT

build.webkit.org doesn't have credentials to push, make that clear in local checkouts by explicitly breaking 'git push'

Comment 1 Radar WebKit Bug Importer 2023-04-26 13:17:26 PDT

<rdar://problem/108571967>

Comment 2 Jonathan Bedard 2023-04-26 13:18:57 PDT

Pull request: https://github.com/WebKit/WebKit/pull/13208

Comment 3 EWS 2023-04-27 14:19:58 PDT

Committed 263468@main (21f590fcad6d): <https://commits.webkit.org/263468@main>

Reviewed commits have been landed. Closing PR #13208 and removing active labels.