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

Quag quaggy at gmail.com
Fri Mar 18 22:07:54 UTC 2005


On Fri, 18 Mar 2005 22:55:46 +0100, Ivan Stankovic
<pokemon at fly.srk.fer.hr> wrote:
> Yes, "drop" seems nice, especially if you consider how often it is used in
> expressions like "dropping a patch". If the name has to be changed (though
> I don't have anything against unpull), I'd go for "drop".

Yup, "drop" is good. Any objections?

Jonathan.




More information about the darcs-users mailing list