release safety exit

sebsto · Oct 12, 2023 · a55a0e3 · a55a0e3
1 parent cb05399
commit a55a0e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/release_sources.sh b/scripts/release_sources.sh
@@ -3,7 +3,7 @@ set -e
 set -o pipefail
 
 echo "Did you increment version number before running this script ?"
-exit -1 
+# exit -1 
 ######################
 VERSION="0.7"
 ######################