[darcs-users] another confusion re: command names

Ganesh Sittampalam 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 mailing list