avoid unncessary IO
This commit is contained in:
parent
ecf7ef3ff2
commit
52e40970c8
6 changed files with 15 additions and 17 deletions
|
@ -59,7 +59,7 @@ findSpecialRemotes s = do
|
|||
liftIO $ mapM construct $ remotepairs m
|
||||
where
|
||||
remotepairs = M.toList . M.filterWithKey match
|
||||
construct (k,_) = Git.Construct.remoteNamedFromKey k Git.Construct.fromUnknown
|
||||
construct (k,_) = Git.Construct.remoteNamedFromKey k (pure Git.Construct.fromUnknown)
|
||||
match k _ = startswith "remote." k && endswith (".annex-"++s) k
|
||||
|
||||
{- Sets up configuration for a special remote in .git/config. -}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue