There are several issues that reference this task, so I'm creating a new ticket
for it. This is the plan Petr developed over the second darcs hacking sprint,
so I'm assuming he's still on it :-)
* Issues
* Zooko stale remote - issue1153
* Meaningless local paths - issue1159
* Meaningless local paths that are accidentally meaningful (NFS automounter)
- issue1240
* Plan
* check for availability of repo root (that we're fetching from), and if not
available
* remote: ignore the entry for this darcs (we want to keep the entry in case
it's just transient error)
* "WARNING: can't use <foo> please remove it from _darcs/prefs/sources"
* local: remove the entry
* fix unionCaches - optional, but could be nice (issue1159)
* long term? on timeout: disable all sources from a given host for this darcs
(URL, Ssh [transient])
|