diff options
Diffstat (limited to 'Remote/Git.hs')
-rw-r--r-- | Remote/Git.hs | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/Remote/Git.hs b/Remote/Git.hs index a0992957c..627a6066b 100644 --- a/Remote/Git.hs +++ b/Remote/Git.hs @@ -233,14 +233,17 @@ tryGitConfigRead autoinit r hClose h let url = Git.repoLocation r ++ "/config" ifM (Url.downloadQuiet url tmpfile uo) - ( pipedconfig "git" [Param "config", Param "--null", Param "--list", Param "--file", File tmpfile] - , return $ Left $ error $ "unable to load config from " ++ url + ( Just <$> pipedconfig "git" [Param "config", Param "--null", Param "--list", Param "--file", File tmpfile] + , return Nothing ) case v of - Left _ -> do + Nothing -> do + warning $ "Failed to get annex.uuid configuration of repository " ++ Git.repoDescribe r + return r + Just (Left _) -> do set_ignore "not usable by git-annex" False return r - Right r' -> do + Just (Right r') -> do -- Cache when http remote is not bare for -- optimisation. unless (Git.Config.isBare r') $ |