Publish script: check that all changes are committed

bblanchon · Jan 8, 2022 · 37f1c87 · 37f1c87
1 parent 4977de3
commit 37f1c87
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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"