diff --git a/scripts/release b/scripts/release index 4a701430d..1ec14dbb7 100755 --- a/scripts/release +++ b/scripts/release @@ -21,6 +21,11 @@ if [[ $version =~ .*dev* ]]; then exit 1 fi +if ! git diff-index --quiet HEAD -- ; then + echo "Refusing to release with local changes:" + git status --porcelain +fi + git tag $version git push origin $version git push github $version