From ed1a5a5ec3d001590104fe3387ded6ccadd238af Mon Sep 17 00:00:00 2001 From: Dmitry Selyutin Date: Fri, 8 Sep 2017 10:36:22 +0300 Subject: [PATCH] filesystem: move git directory check below --- pygnulib/filesystem.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pygnulib/filesystem.py b/pygnulib/filesystem.py index 0381d67c6a..3d5721ff30 100644 --- a/pygnulib/filesystem.py +++ b/pygnulib/filesystem.py @@ -82,9 +82,9 @@ class Git(Directory): def __init__(self, root, config): if not os.path.isdir(root): raise FileNotFoundError(root) - if not os.path.isdir(os.path.join(root, ".git")): - raise TypeError("%r is not a gnulib repository") super().__init__(root, config) + if not os.path.isdir(os.path.join(self._root_, ".git")): + raise TypeError("%r is not a gnulib repository") def module(self, name, full=True): -- 2.39.5