From 3163a2d27808784d78c46f016cca31574a5d7450 Mon Sep 17 00:00:00 2001 From: Oliver Reiche Date: Wed, 20 Jul 2022 16:26:29 +0200 Subject: just-mr: Git root must always be a directory ... and not only located on the file system. This change enables the use of Git bundles as "non-local" repositories. --- bin/just-mr.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin/just-mr.py') diff --git a/bin/just-mr.py b/bin/just-mr.py index 48b3ae92..491c100c 100755 --- a/bin/just-mr.py +++ b/bin/just-mr.py @@ -97,7 +97,7 @@ def read_config(configfile): def git_root(*, upstream): if upstream in GIT_CHECKOUT_LOCATIONS: return GIT_CHECKOUT_LOCATIONS[upstream] - elif upstream and os.path.isabs(upstream): + elif upstream and os.path.isabs(upstream) and os.path.isdir(upstream): return upstream else: return os.path.join(ROOT, "git") -- cgit v1.2.3