diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-03-15 19:16:13 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-03-15 19:16:13 -0400 |
| commit | eabe9d8c6177318432eb81120f4d5db05898c891 (patch) | |
| tree | 6fedada070d79a4afec236a63ead893bc41b04e9 /Remote/Git.hs | |
| parent | 34c604b935e6e3e40796c9132ed19d44442cb809 (diff) | |
add globallyAvailable to remotes
Diffstat (limited to 'Remote/Git.hs')
| -rw-r--r-- | Remote/Git.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Remote/Git.hs b/Remote/Git.hs index b08166bfa..207655b4e 100644 --- a/Remote/Git.hs +++ b/Remote/Git.hs @@ -111,6 +111,7 @@ gen r u _ gc = go <$> remoteCost gc defcst , repo = r , gitconfig = gc , readonly = Git.repoIsHttp r + , globallyAvailable = not $ Git.repoIsLocal r || Git.repoIsLocalUnknown r , remotetype = remote } |