mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

A remote can have a annexUrl configured, that is used by git-annex instead of its usual url. (Similar to pushUrl.)

Browse source
This commit is contained in:
Joey Hess 2011-10-14 18:17:46 -04:00
parent 3e07780bf8
commit 9fa9214106
6 changed files with 44 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Remote/Web.hs
View file

@ -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