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

Yuval Kogman nothingmuch at woobling.org
Fri Mar 18 22:27:19 UTC 2005


On Sat, Mar 19, 2005 at 11:07:54 +1300, Quag wrote:
> 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?

I'd like to second drop, it's my fav so far.

-- 
 ()  Yuval Kogman <nothingmuch at woobling.org> 0xEBD27418  perl hacker &
 /\  kung foo master: /me supports the ASCII Ribbon Campaign: neeyah!!!

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://lists.osuosl.org/pipermail/darcs-users/attachments/20050319/7df159f5/attachment.pgp 


More information about the darcs-users mailing list