diff options
author | Joey Hess <joey@kitenet.net> | 2012-11-30 00:55:59 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-11-30 00:55:59 -0400 |
commit | 3026baf7ba4941029f3fb50888b3fd3290f720d1 (patch) | |
tree | df34479c82189dde4d65453ee08a8195fb1bca59 /Remote/Git.hs | |
parent | df31307f2ce1b037b68f16f9cb0187cf1e3a7b6d (diff) |
avoid unnecessary Maybe
Diffstat (limited to 'Remote/Git.hs')
-rw-r--r-- | Remote/Git.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Remote/Git.hs b/Remote/Git.hs index 24dd9bf80..0933a1cae 100644 --- a/Remote/Git.hs +++ b/Remote/Git.hs @@ -83,7 +83,7 @@ configRead r = do repoCheap :: Git.Repo -> Bool repoCheap = not . Git.repoIsUrl -gen :: Git.Repo -> UUID -> Maybe RemoteConfig -> Annex Remote +gen :: Git.Repo -> UUID -> RemoteConfig -> Annex Remote gen r u _ = new <$> remoteCost r defcst where defcst = if repoCheap r then cheapRemoteCost else expensiveRemoteCost @@ -98,7 +98,7 @@ gen r u _ = new <$> remoteCost r defcst , hasKey = inAnnex r , hasKeyCheap = repoCheap r , whereisKey = Nothing - , config = Nothing + , config = M.empty , localpath = if Git.repoIsLocal r || Git.repoIsLocalUnknown r then Just $ Git.repoPath r else Nothing |