diff options
author | Joey Hess <joeyh@joeyh.name> | 2016-04-08 14:24:00 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2016-04-08 14:24:00 -0400 |
commit | fdfd56c647d685ad5618917341db0b7c97e1b63a (patch) | |
tree | a287e49f51af48f27a23711abb346134c218977d /Git/Types.hs | |
parent | 6f4b9f2df58684d4b8e2099be59283be97f1318e (diff) |
avoid withWorkTreeRelated affecting annex symlink calculation
Diffstat (limited to 'Git/Types.hs')
-rw-r--r-- | Git/Types.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Git/Types.hs b/Git/Types.hs index 44135738d..327c1d722 100644 --- a/Git/Types.hs +++ b/Git/Types.hs @@ -39,6 +39,7 @@ data Repo = Repo , remoteName :: Maybe RemoteName -- alternate environment to use when running git commands , gitEnv :: Maybe [(String, String)] + , gitEnvOverridesGitDir :: Bool -- global options to pass to git when running git commands , gitGlobalOpts :: [CommandParam] } deriving (Show, Eq, Ord) |