From 1cfd107aaf223d255c990951fb90555898d5815b Mon Sep 17 00:00:00 2001
From: Gregor Kleen <kleen@cip.ifi.lmu.de>
Date: Thu, 26 Sep 2019 15:09:32 +0200
Subject: [PATCH] chore: introduce FORCE_RELEASE

---
 is-clean.sh | 2 ++
 test.sh     | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/is-clean.sh b/is-clean.sh
index b63b54f46..4bcf4bd7d 100755
--- a/is-clean.sh
+++ b/is-clean.sh
@@ -1,5 +1,7 @@
 #!/usr/bin/env bash
 
+[[ -n "${FORCE_RELEASE}" ]] && exit 0
+
 set -e
 
 if [ -n "$(git status --porcelain)" ]; then
diff --git a/test.sh b/test.sh
index 4d2eca141..e0ef0b657 100755
--- a/test.sh
+++ b/test.sh
@@ -1,5 +1,7 @@
 #!/usr/bin/env bash
 
+[[ -n "${FORCE_RELEASE}" ]] && exit 0
+
 set -e
 
 [ "${FLOCKER}" != "$0" ] && exec env FLOCKER="$0" flock -en .stack-work.lock "$0" "$@" || :