remove unused gitConfigRepo

This commit is contained in:
Joey Hess 2018-06-04 16:51:25 -04:00
parent c3e1d0550f
commit 09aa4ee7e5
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38

View file

@ -97,7 +97,6 @@ data GitConfig = GitConfig
, receiveDenyCurrentBranch :: DenyCurrentBranch , receiveDenyCurrentBranch :: DenyCurrentBranch
, gcryptId :: Maybe String , gcryptId :: Maybe String
, gpgCmd :: GpgCmd , gpgCmd :: GpgCmd
, gitConfigRepo :: Git.Repo
} }
extractGitConfig :: Git.Repo -> GitConfig extractGitConfig :: Git.Repo -> GitConfig
@ -164,7 +163,6 @@ extractGitConfig r = GitConfig
, receiveDenyCurrentBranch = getDenyCurrentBranch r , receiveDenyCurrentBranch = getDenyCurrentBranch r
, gcryptId = getmaybe "core.gcrypt-id" , gcryptId = getmaybe "core.gcrypt-id"
, gpgCmd = mkGpgCmd (getmaybe "gpg.program") , gpgCmd = mkGpgCmd (getmaybe "gpg.program")
, gitConfigRepo = r
} }
where where
getbool k d = fromMaybe d $ getmaybebool k getbool k d = fromMaybe d $ getmaybebool k