From 650240aa9281e16a654bb17d671bb8e8d0578671 Mon Sep 17 00:00:00 2001 From: George Joseph Date: Tue, 20 Feb 2024 06:49:20 -0700 Subject: [PATCH] .github: Add force_cherry_pick option to Releaser --- .github/workflows/Releaser.yml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/.github/workflows/Releaser.yml b/.github/workflows/Releaser.yml index 9ef258ae60..704abdfbc1 100644 --- a/.github/workflows/Releaser.yml +++ b/.github/workflows/Releaser.yml @@ -32,6 +32,12 @@ on: required: true type: boolean default: false + force_cherry_pick: + description: | + Force cherry-pick for non-RC1 releases? USE WITH CAUTION! + required: true + type: boolean + default: false push_release_branches: description: | Push release branches live? @@ -69,6 +75,7 @@ jobs: advisories: ${{inputs.advisories}} is_hotfix: ${{inputs.is_hotfix}} new_version: ${{inputs.new_version}} + force_cherry_pick: ${{inputs.force_cherry_pick}} push_release_branches: ${{inputs.push_release_branches}} create_github_release: ${{inputs.create_github_release}} push_tarballs: ${{inputs.push_tarballs}} -- 2.47.2