By design, git-webkit makes it very hard to opt-in to publishing a fix for a redacted PR. The recent addition of a pre-push hook makes this less crucial, because regardless of how a user answers prompts by `git-webkit`, any push containing a redacted issue will prompt the user before contacting the server. `git-webkit` should respect a user when they explicitly request to make a fix for a redacted issue public.
<rdar://problem/107343169>
Pull request: https://github.com/WebKit/WebKit/pull/12110
After talking with Geoff and landing https://commits.webkit.org/262617@main, we're basically going to do the exact opposite of this: we're going to forbid publication of commits for redacted PRs in all circumstances. I'm going to re-purpose this bug because anyone following it already will care about us doing the inverse.
Committed 263101@main (9384f300d865): <https://commits.webkit.org/263101@main> Reviewed commits have been landed. Closing PR #12110 and removing active labels.