From 6fa7803e02ac3850d0ad410714d610d9fca3fbb9 Mon Sep 17 00:00:00 2001 From: Ludeeus Date: Sat, 2 Jan 2021 21:57:49 +0000 Subject: [PATCH] Exit --- scripts/changed/repo.py | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/changed/repo.py b/scripts/changed/repo.py index 7133186..29a228c 100644 --- a/scripts/changed/repo.py +++ b/scripts/changed/repo.py @@ -18,6 +18,7 @@ def get_repo(): if len(new) != 1: print(f"Bad data {new}") + exit(1) return new.pop()