diff options
| author |  Joey Hess <joey@kitenet.net> | 2011-10-14 18:17:46 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2011-10-14 18:18:28 -0400 |
| commit | 9fa92141064a7682e1559bfa91a360c1ad5cb3dc (patch) | |
| tree | d009792edd0eb6143080458dd086165acb9cbff8 /Remote/Helper/Special.hs | |
| parent | 3e07780bf881988eed491e1451b95cab86b7f552 (diff) | |
A remote can have a annexUrl configured, that is used by git-annex instead of its usual url. (Similar to pushUrl.)
Diffstat (limited to 'Remote/Helper/Special.hs')
| -rw-r--r-- | Remote/Helper/Special.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Remote/Helper/Special.hs b/Remote/Helper/Special.hs index 1fbd7b19e..5f66e8cd9 100644 --- a/Remote/Helper/Special.hs +++ b/Remote/Helper/Special.hs @@ -24,7 +24,7 @@ findSpecialRemotes s = do return $ map construct $ remotepairs g where remotepairs r = M.toList $ M.filterWithKey match $ Git.configMap r - construct (k,_) = Git.repoRemoteNameSet Git.repoFromUnknown k + construct (k,_) = Git.repoRemoteNameFromKey Git.repoFromUnknown k match k _ = startswith "remote." k && endswith (".annex-"++s) k {- Sets up configuration for a special remote in .git/config. -} |