diff options
-rw-r--r-- | Git/Config.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Git/Config.hs b/Git/Config.hs index 00d1ddba2..500c8aa0f 100644 --- a/Git/Config.hs +++ b/Git/Config.hs @@ -37,7 +37,10 @@ read repo@(Repo { config = c }) {- Reads config even if it was read before. -} reRead :: Repo -> IO Repo -reRead = read' +reRead r = read' $ r + { config = M.empty + , fullconfig = M.empty + } {- Cannot use pipeRead because it relies on the config having been already - read. Instead, chdir to the repo and run git config. |