From 28671a622b3d5a46008bb552295d066f3ac334e2 Mon Sep 17 00:00:00 2001
From: Michael Stapelberg <michael@stapelberg.de>
Date: Wed, 21 Sep 2022 21:42:40 +0200
Subject: [PATCH] release.sh: re-add warning about debian/changelog changes

As long as we push auto builder packages from our CI, we need to update the
version number via the changelog.
---
 release.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/release.sh b/release.sh
index 9cb9454b..587b99ee 100755
--- a/release.sh
+++ b/release.sh
@@ -20,6 +20,12 @@ then
 	exit 1
 fi
 
+if git diff-files --quiet --exit-code debian/changelog
+then
+	echo "Expected debian/changelog to be changed (containing the changelog for ${RELEASE_VERSION})."
+	exit 1
+fi
+
 if [ ! -e "RELEASE-NOTES-${RELEASE_VERSION}" ]
 then
 	echo "RELEASE-NOTES-${RELEASE_VERSION} not found. Here is the output from the generator:"