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/Web.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/Web.hs')
-rw-r--r-- | Remote/Web.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Remote/Web.hs b/Remote/Web.hs index 30a1ff008..ed9c94909 100644 --- a/Remote/Web.hs +++ b/Remote/Web.hs @@ -33,7 +33,7 @@ remote = RemoteType { -- (If the web should cease to exist, remove this module and redistribute -- a new release to the survivors by carrier pigeon.) list :: Annex [Git.Repo] -list = return [Git.repoRemoteNameSet Git.repoFromUnknown "remote.web.dummy"] +list = return [Git.repoRemoteNameSet Git.repoFromUnknown "web"] -- Dummy uuid for the whole web. Do not alter. webUUID :: UUID |