WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
255043
[git pre-push] Prevent pushing commits for redacted issues
https://bugs.webkit.org/show_bug.cgi?id=255043
Summary
[git pre-push] Prevent pushing commits for redacted issues
Jonathan Bedard
Reported
2023-04-05 12:53:31 PDT
Right now, our pre-push hook will prompt a user before pushing a commit for a redacted issue. Instead, we should just prevent users from pushing commits for redacted issues. There should be three notable exceptions to this rule: 1) The commit already exists on a public remote 2) The commit is a cherry-pick of one on a public remote 3) The commit also refers to an issue which is exempt from redaction
Attachments
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2023-04-05 12:54:01 PDT
<
rdar://problem/107673301
>
Jonathan Bedard
Comment 2
2023-04-05 13:03:35 PDT
Pull request:
https://github.com/WebKit/WebKit/pull/12417
EWS
Comment 3
2023-04-05 14:30:02 PDT
Committed
262635@main
(34c241927fad): <
https://commits.webkit.org/262635@main
> Reviewed commits have been landed. Closing PR #12417 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