[darcs-users] Re: argh. please change the name "unpull"
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