I have a repo that I use as my staging repository before pushing things to darcs.net.
My _darcs/prefs/sources in that repo thus references things not on this machine
(things only accessible over ssh).
I keep seeing warnings about those paths. The warnings seem silly.
As a user it seems like the only sane options is placing --ignore-unrelated-repos in
my global defaults.
Duplicate of issue1923
Jason is nosy on this ticket because he created it. Standard procedure
when merging tickets (done manually because we haven't written a merge
procedure yet or dug up a plugin for it) is to merge the nosy lists as
well.
Oh, --ignore-unrelated-repos is not what I thought it was. I misread it
as "ignore unrechable repos".
Is there an option to disable the unreachable repo warning?