From 37f1c87338692c924e6b41d8894cc6044ed8c493 Mon Sep 17 00:00:00 2001
From: Benoit Blanchon <git@benoitblanchon.fr>
Date: Sat, 8 Jan 2022 16:21:09 +0100
Subject: [PATCH] Publish script: check that all changes are committed

---
 extras/scripts/publish.sh | 5 +++++
 1 file changed, 5 insertions(+)

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"