From 53975bfae39a22a508cf6e4808a7ef60263df193 Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Sun, 10 May 2020 19:35:28 +0200 Subject: Check git tree before doing a release See #5426 --- scripts/dev/build_release.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/scripts/dev/build_release.py b/scripts/dev/build_release.py index b6f49a5a6..2f037ac68 100755 --- a/scripts/dev/build_release.py +++ b/scripts/dev/build_release.py @@ -44,7 +44,7 @@ sys.path.insert(0, os.path.join(os.path.dirname(__file__), os.pardir, import qutebrowser from scripts import utils -from scripts.dev import update_3rdparty +from scripts.dev import update_3rdparty, misc_checks def call_script(name, *args, python=sys.executable): @@ -473,6 +473,10 @@ def main(): import github3 # pylint: disable=unused-import read_github_token() + if not misc_checks.check_git(): + utils.print_error("Refusing to do a release with a dirty git tree") + sys.exit(1) + if args.no_asciidoc: os.makedirs(os.path.join('qutebrowser', 'html', 'doc'), exist_ok=True) else: -- cgit v1.2.3-54-g00ecf