[darcs-users] another confusion re: command names

[Ganesh Sittampalam]

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.

Ganesh