Git: isRepo
Signed-off-by: Félix Sipma <felix.sipma@no-log.org>
This commit is contained in:
parent
0847118cc4
commit
f3beea212c
|
@ -91,3 +91,6 @@ cloned owner url dir mbranch = check originurl (property desc checkout)
|
|||
-- installed here.
|
||||
, Just "git update-server-info"
|
||||
]
|
||||
|
||||
isRepo :: FilePath -> IO Bool
|
||||
isRepo dir = isNothing <$> catchMaybeIO (readProcess "git" ["rev-parse", "--resolve-git-dir", dir])
|
||||
|
|
Loading…
Reference in New Issue