.github: Add force_cherry_pick option to Releaser

This commit is contained in:
George Joseph 2024-02-20 06:49:20 -07:00
parent 162c920f90
commit 650240aa92
1 changed files with 7 additions and 0 deletions

View File

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