RESOLVED FIXED256007
[build.webkit.org] Break 'git push' 
https://bugs.webkit.org/show_bug.cgi?id=256007
Summary [build.webkit.org] Break 'git push'
Jonathan Bedard
Reported 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'
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2023-04-26 13:17:26 PDT
<rdar://problem/108571967>
Jonathan Bedard
Comment 2 2023-04-26 13:18:57 PDT
Pull request: https://github.com/WebKit/WebKit/pull/13208
EWS
Comment 3 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.
Note You need to log in before you can comment on or make changes to this bug.