On Tue, Dec 9, 2025 at 9:54 PM Ryan Blue <[email protected]> wrote: > Since that is not a release manager, this must have been produced by the > release automation scripts that were discussed on the dev list.
Hi Ryan To add to JB's answer, let me clarify one thing. The key has not been *produced* by the release automation workflows. The release automation workflows require that key to exist as a Github Secret, prior to executing them. Otherwise they won't run. Hope that helps -- Pierre
