> > The command "darcs resolve" would be better named "darcs mark-conflicts". > > It's a sufficiently obscure and rarely-used > command that I think we can be freer with renaming it than we would > normally be.
Personally I have never had to use `resolve` so far, and I am in the habit of always checking the --help message for commands I am not too familiar with, so any renaming certainly won't bite me (although I don't see any need for it either). But I wonder if it would be preferable to retain `resolve` as an alias (or as a separate command that simply complains and points to the new name) so as to ensure that the existing body of scripts and, more importantly, documentation (including mailing list archives) remains correct (or at least usable). Just my NOK 0.02, Albert. _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
