[darcs-users] get/pull/push
Ashley Yakeley
ashley at semantic.org
Thu Feb 24 09:43:57 UTC 2005
OK, I'm just starting with darcs.
As I understand it, "darcs get" is only valid if you don't have a
repository locally, while "darcs pull" is only valid if you do have one.
Why not merge the two commands?
Equally (as has been suggested), "darcs push" should create a repository
remotely if there isn't one. But it should probably prompt you first...
--
Ashley Yakeley, Seattle WA
More information about the darcs-users
mailing list