diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-10-27 15:38:59 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-10-27 15:38:59 -0400 |
| commit | 73d1f889c0b6d63fefcc3296bcd0402b1caed419 (patch) | |
| tree | 83a383a64477bdc3c1e64b2fc60ae2db81f475b3 /Remote/Web.hs | |
| parent | ab9fbc09ed26e5e18ce0097236c41bb34f04d16c (diff) | |
assistant: Support repairing git remotes that are locally accessible
(eg, on removable drives)
gcrypt remotes are not yet handled.
This commit was sponsored by Sören Brunk.
Diffstat (limited to 'Remote/Web.hs')
| -rw-r--r-- | Remote/Web.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Remote/Web.hs b/Remote/Web.hs index 23de73c27..7c98dbf40 100644 --- a/Remote/Web.hs +++ b/Remote/Web.hs @@ -57,6 +57,7 @@ gen r _ _ gc = hasKeyCheap = False, whereisKey = Just getUrls, remoteFsck = Nothing, + repairRepo = Nothing, config = M.empty, gitconfig = gc, localpath = Nothing, |