diff options
Diffstat (limited to 'scripts/jenkins/release.sh')
| -rwxr-xr-x | scripts/jenkins/release.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/jenkins/release.sh b/scripts/jenkins/release.sh index 1b1bd26e..744a1a28 100755 --- a/scripts/jenkins/release.sh +++ b/scripts/jenkins/release.sh @@ -7,6 +7,9 @@ echo "#################################" ARG_DEFS=( "--next-version-type=(patch|minor|major)" "--next-version-name=(.+)" + # require the git dryrun flag so the script can't be run without + # thinking about this! + "--git-push-dryrun=(true|false)" "[--no-test=(true|false)]" ) |