From fbd8ea3b3d46b8cb56f3b9c82847cc849a37f89d Mon Sep 17 00:00:00 2001 From: Félix Sipma Date: Mon, 17 Nov 2014 21:00:10 +0100 Subject: Git: rename isRepo to isGitDir Signed-off-by: Félix Sipma --- src/Propellor/Property/Git.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/Propellor/Property/Git.hs b/src/Propellor/Property/Git.hs index eb821597..8d49cbd0 100644 --- a/src/Propellor/Property/Git.hs +++ b/src/Propellor/Property/Git.hs @@ -92,5 +92,5 @@ cloned owner url dir mbranch = check originurl (property desc checkout) , Just "git update-server-info" ] -isRepo :: FilePath -> IO Bool -isRepo dir = isNothing <$> catchMaybeIO (readProcess "git" ["rev-parse", "--resolve-git-dir", dir]) +isGitDir :: FilePath -> IO Bool +isGitDir dir = isNothing <$> catchMaybeIO (readProcess "git" ["rev-parse", "--resolve-git-dir", dir]) -- cgit v1.2.3