summaryrefslogtreecommitdiff
path: root/Remote/Web.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2011-10-14 18:17:46 -0400
committerGravatar Joey Hess <joey@kitenet.net>2011-10-14 18:18:28 -0400
commit9fa92141064a7682e1559bfa91a360c1ad5cb3dc (patch)
treed009792edd0eb6143080458dd086165acb9cbff8 /Remote/Web.hs
parent3e07780bf881988eed491e1451b95cab86b7f552 (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.hs2
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