[darcs-users] Re: argh. please change the name "unpull"

Karel Gardas kgardas at objectsecurity.com
Fri Mar 18 08:02:15 UTC 2005

On Fri, 18 Mar 2005, Tommy Pettersson wrote:

> I like the name 'unpull' as it is, and I think it serves its
> purpose very well.  I don't think the problem in this case is
> with the user interface to darcs.  It's the use of a "darcs
> term" in natural language.  To say to someone (not a darcs
> user): "I'm gonna unpull this", doesn't make sense to them.
> That's it, and it's perfectly normal.

Agree. Also I think majority of users will use pull by hand and apply by
automatic scripts which leads to finding for some oposite command to pull
when we like to revert pull results and so unpull seems to be natural
solution. IMHO hardly any user will find unapply to be oposite to pull.

Karel Gardas                  kgardas at objectsecurity.com
ObjectSecurity Ltd.           http://www.objectsecurity.com

More information about the darcs-users mailing list