From 267138776d17e0cccf2c8da08ddd53770de1eb5f Mon Sep 17 00:00:00 2001 From: Dan Helfman Date: Sat, 21 Nov 2020 14:03:39 -0800 Subject: [PATCH] Add protection for accidentally releasing a dev version. --- scripts/release | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/scripts/release b/scripts/release index 8ddcb30c..e8b4a3ad 100755 --- a/scripts/release +++ b/scripts/release @@ -15,6 +15,12 @@ if [[ ! -f NEWS ]]; then fi version=$(head --lines=1 NEWS) + +if [[ $version =~ .*dev* ]]; then + echo "Refusing to release a dev version: $version" + exit 1 +fi + git tag $version git push origin $version git push github $version