[darcs-users] --no-set-default?

Jamie Webb j at jmawebb.cjb.net
Tue Sep 7 11:00:48 UTC 2004


My understanding is that if I do:

darcs push some/repo
darcs push --no-set-default some/other/repo
darcs push

The final push should still use some/repo. With 1.0rc1 it appears that
the default is set anyway and the final push uses some/other/repo. The
same happens with pull. Is this a bug or am I misunderstanding?

Cheers

-- Jamie Webb




More information about the darcs-users mailing list