From ae253863362b715c6e3634ed3b86c37645a18914 Mon Sep 17 00:00:00 2001 From: Dan Helfman Date: Sat, 25 Jun 2022 09:42:05 -0700 Subject: [PATCH] Update release script to abort if there are local changes. Prevents accidentally tagging a .dev0 changeset for release. --- scripts/release | 5 +++++ 1 file changed, 5 insertions(+) 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