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. - --=20 David Roundy http://www.darcs.net - ---------- status: unread -> chatting ____________________________________ Darcs issue tracker <[EMAIL PROTECTED]> <http://bugs.darcs.net/issue113> ____________________________________ ------- End of Forwarded Message _______________________________________________ darcs-users mailing list darcs-users@darcs.net http://www.abridgegame.org/mailman/listinfo/darcs-users