diff options
author | Joey Hess <joey@kitenet.net> | 2011-09-18 20:11:39 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2011-09-18 20:11:39 -0400 |
commit | dd463a3100f21d72c35ca1af5b0f63f6296cf322 (patch) | |
tree | 048aa1402eb5b3717706cb97863f823904dec44e /Types | |
parent | d78b9f7d546bd4f13349e01777d5dd45fc01b0af (diff) |
rework annex-ignore handling
Only one place need to filter the list of remotes for ignored remotes:
keyPossibilities. Make the full list available to everything else.
This allows getting rid of the special case handing for --from and --to
to make ignored remotes not be ignored with those options.
Diffstat (limited to 'Types')
-rw-r--r-- | Types/Remote.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Types/Remote.hs b/Types/Remote.hs index 8d9622c51..49f16bfdd 100644 --- a/Types/Remote.hs +++ b/Types/Remote.hs @@ -51,7 +51,9 @@ data Remote a = Remote { -- operation. hasKeyCheap :: Bool, -- a Remote can have a persistent configuration store - config :: Maybe RemoteConfig + config :: Maybe RemoteConfig, + -- git configuration for the remote + repo :: Git.Repo } instance Show (Remote a) where |