[darcs-users] another confusion re: command names
ganesh at earth.li
Tue May 11 12:11:43 UTC 2004
On Tue, 11 May 2004, David Roundy wrote:
> On the other hand, unpull seems to be a uniformly disliked command name, so
> perhaps removing it and implementing that functionality with "unrecord
> --and-revert" would be best. I'll think on this.
I don't dislike it, and I like having a short name for that functionality,
which I use a lot.
More information about the darcs-users