diff options
author | Zeger-Jan van de Weg <zegerjan@gitlab.com> | 2018-04-19 11:11:06 +0300 |
---|---|---|
committer | Zeger-Jan van de Weg <zegerjan@gitlab.com> | 2018-04-19 11:11:06 +0300 |
commit | 05550a4193268637f4e6f9b96a7b3769f661415a (patch) | |
tree | 1ca6064e4c565e2c303fbcc08cc602a32db1a23e | |
parent | 867101f0963e6be4961871d72160e0c53048365c (diff) | |
parent | 78076fa6401d65da8aa071c9b6c9c5090ce1a52c (diff) |
Merge branch 'dont-release-v-prefix' into 'master'
Alert if release version if prefixed with 'v'
See merge request gitlab-org/gitaly!671
-rwxr-xr-x | _support/release | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/_support/release b/_support/release index 1e741f12f..915c5c855 100755 --- a/_support/release +++ b/_support/release @@ -20,6 +20,12 @@ def main(version) abort "Git remote 'origin' must match #{REMOTE_REGEX}, got #{remote.inspect}" end + if version.start_with?("v") + puts "Do you really want your tag to be v#{version}? Enter 'Yes' to continue; Ctrl-C to abort" + $stdout.flush + abort unless $stdin.gets.chomp == 'Yes' + end + run!(%w[make verify]) run!(%w[make clean test]) |