WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
256000
[ews-build.webkit.org] Break 'git push'
https://bugs.webkit.org/show_bug.cgi?id=256000
Summary
[ews-build.webkit.org] Break 'git push'
Jonathan Bedard
Reported
2023-04-26 11:25:45 PDT
Except for Merge-Queue, Unsafe-Merge-Queue and Commit-Queue, no EWS queue needs to push to a git remote. While EWS queues should never have the nessesary credentials to do so anyways, we should break 'git push' in these repositories locally as additional assurance.
Attachments
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2023-04-26 11:26:04 PDT
<
rdar://problem/108566962
>
Jonathan Bedard
Comment 2
2023-04-26 11:35:13 PDT
Pull request:
https://github.com/WebKit/WebKit/pull/13204
EWS
Comment 3
2023-04-27 13:59:38 PDT
Committed
263467@main
(52b69933c06d): <
https://commits.webkit.org/263467@main
> Reviewed commits have been landed. Closing PR #13204 and removing active labels.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug