Update release script to abort if there are local changes. Prevents accidentally tagging a .dev0 changeset for release.

This commit is contained in:
Dan Helfman 2022-06-25 09:42:05 -07:00
parent d929313d45
commit ae25386336

View file

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