Add protection for accidentally releasing a dev version.

2026-07-22 02:03:01 +02:00 · 2020-11-21 14:03:39 -08:00
parent 604b3d5e17
commit 267138776d
1 changed files with 6 additions and 0 deletions
@@ -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