[PATCH] release-checks: check that git working directory is clean

Tomi Ollila tomi.ollila at iki.fi
Tue Jun 2 07:43:45 PDT 2015


Before release check that there are no uncommitted changes and
that there are no files in working directory that possibly should
have been added to the repository.
---
 devel/release-checks.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/devel/release-checks.sh b/devel/release-checks.sh
index ae02f557af23..eceea6165b5b 100755
--- a/devel/release-checks.sh
+++ b/devel/release-checks.sh
@@ -59,6 +59,17 @@ readonly VERSION
 
 # In the rest of this file, tests collect list of errors to be fixed
 
+echo -n "Checking that git working directory is clean... "
+git_status=`git status --porcelain --ignored`
+if [ "$git_status" = '' ]
+then
+	echo Yes.
+else
+	echo No.
+	append_emsg "Git working directory is not clean (git status --porcelain --ignored)."
+fi
+unset git_status
+
 verfail ()
 {
 	echo No.
-- 
2.0.0



More information about the notmuch mailing list