Bump version for release.

2026-07-22 02:03:01 +02:00 · 2022-06-30 22:14:41 -07:00
parent f1ffa1da1d
commit 992f62edd2
3 changed files with 3 additions and 2 deletions
@@ -24,6 +24,7 @@ fi
 if ! git diff-index --quiet HEAD -- ; then
    echo "Refusing to release with local changes:"
    git status --porcelain
+    exit 1
 fi

 git tag $version