From 6121e44c485239493d4206fbad83f9a3365ce7b5 Mon Sep 17 00:00:00 2001 From: Vedant Date: Fri, 12 Jun 2026 12:13:08 +0530 Subject: [PATCH] Handle existing directory gracefully --- contribute.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/contribute.py b/contribute.py index 0bb6202fdd..7f5d52a761 100755 --- a/contribute.py +++ b/contribute.py @@ -27,6 +27,11 @@ def main(def_args=sys.argv[1:]): days_after = args.days_after if days_after < 0: sys.exit('days_after must not be negative') + if os.path.exists(directory): + sys.exit( + f"Directory '{directory}' already exists. " + "Please remove it or choose a different repository name." + ) os.mkdir(directory) os.chdir(directory) run(['git', 'init', '-b', 'main'])