.github: Add force_cherry_pick option to Releaser

diff --git a/.github/workflows/Releaser.yml b/.github/workflows/Releaser.yml
index 9ef258ae60fdd51d5b970cff60522bb70721ac14..704abdfbc1b587846599377891ba2b7dc90986fa 100644 (file)
--- 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}}