diff options
Diffstat (limited to 'Remote/Web.hs')
| -rw-r--r-- | Remote/Web.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Remote/Web.hs b/Remote/Web.hs index f1eee7feb..f984137a9 100644 --- a/Remote/Web.hs +++ b/Remote/Web.hs @@ -35,8 +35,8 @@ list = do r <- liftIO $ Git.Construct.remoteNamed "web" Git.Construct.fromUnknown return [r] -gen :: Git.Repo -> UUID -> RemoteConfig -> Annex Remote -gen r _ _ = +gen :: Git.Repo -> UUID -> RemoteConfig -> RemoteGitConfig -> Annex Remote +gen r _ _ gc = return Remote { uuid = webUUID, cost = expensiveRemoteCost, @@ -49,6 +49,7 @@ gen r _ _ = hasKeyCheap = False, whereisKey = Just getUrls, config = M.empty, + gitconfig = gc, localpath = Nothing, repo = r, readonly = True, |