.github: Add force_cherry_pick option to Releaser

.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}}