On Jan 26, 2006, at 9:23 AM, [EMAIL PROTECTED] wrote:
http://bugs.darcs.net/issue113
------- Forwarded Message
Subject: [issue113] The name "darcs resolve" is confusing.
To: [EMAIL PROTECTED], [EMAIL PROTECTED], [EMAIL PROTECTED]
From: David Roundy <[EMAIL PROTECTED]>
Date: Thu, 26 Jan 2006 13:58:50 +0000
David Roundy <[EMAIL PROTECTED]> added the comment:
On Thu, Jan 26, 2006 at 05:47:36AM +0000, Zooko wrote:
The command "darcs resolve" would be better named "darcs mark-
conflicts".
Hmmmm. That certainly does sound like an improvement to me. I
didn't see
this suggestion on the thread you quoted, so before making this
change it
would be nice to see it aired as a proposal on darcs-users, to make
sure
noone sees an objection. It's a sufficiently obscure and rarely-used
command that I think we can be freer with renaming it than we would
normally be.
IIRC, I already responded once and said I would prefer this change.
So here is my vote (again) :)
Thanks,
Jason
_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users
