Branch: refs/heads/main Home: https://github.com/WebKit/WebKit Commit: 34c241927fad61ad952eea1bbddd205459f1a7a8 https://github.com/WebKit/WebKit/commit/34c241927fad61ad952eea1bbddd205459f1a7a8 Author: Jonathan Bedard <jbed...@apple.com> Date: 2023-04-05 (Wed, 05 Apr 2023)
Changed paths: M Tools/Scripts/hooks/pre-push Log Message: ----------- [git pre-push] Prevent pushing commits for redacted issues https://bugs.webkit.org/show_bug.cgi?id=255043 rdar://107673301 Reviewed by Elliott Williams and Geoffrey Garen. Prevent pushing commits which reference redacted issues to public remotes unless: 1. Those commits are already on a public remote 2. Those commits cherry-pick a commit already on a public remote 3. Those commits reference an issue exempt from redaction Notably, this change removes the prompt allowing a user to override the guard against publishing a commit for a redacted issue. * Tools/Scripts/hooks/pre-push: Canonical link: https://commits.webkit.org/262635@main _______________________________________________ webkit-changes mailing list webkit-changes@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-changes