diff --git a/extras/scripts/publish.sh b/extras/scripts/publish.sh index 33f139db..048e5f54 100755 --- a/extras/scripts/publish.sh +++ b/extras/scripts/publish.sh @@ -4,6 +4,11 @@ set -eu cd "$(dirname "$0")/../.." +if ! git diff --quiet --exit-code; then + echo "Repository contains uncommitted changes" + exit +fi + VERSION="$1" DATE=$(date +%F) TAG="v$VERSION"