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/Directory.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/Directory.hs')
| -rw-r--r-- | Remote/Directory.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Remote/Directory.hs b/Remote/Directory.hs index cee4d6a0a..16535070e 100644 --- a/Remote/Directory.hs +++ b/Remote/Directory.hs @@ -55,6 +55,7 @@ gen r u c gc = do hasKeyCheap = True, whereisKey = Nothing, remoteFsck = Nothing, + repairRepo = Nothing, config = M.empty, repo = r, gitconfig = gc, |