drop gitremotes cache when config is changed
This commit is contained in:
parent
bf6b309917
commit
6f94062c53
1 changed files with 1 additions and 0 deletions
1
Annex.hs
1
Annex.hs
|
@ -428,6 +428,7 @@ changeGitRepo r = do
|
||||||
{ repo = r'
|
{ repo = r'
|
||||||
, gitconfig = gitconfigadjuster $
|
, gitconfig = gitconfigadjuster $
|
||||||
extractGitConfig FromGitConfig r'
|
extractGitConfig FromGitConfig r'
|
||||||
|
, gitremotes = Nothing
|
||||||
}
|
}
|
||||||
|
|
||||||
{- Gets the RemoteGitConfig from a remote, given the Git.Repo for that
|
{- Gets the RemoteGitConfig from a remote, given the Git.Repo for that
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue