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

Aaron Denney wnoise at ofb.net
Thu Mar 17 22:05:20 UTC 2005

On 2005-03-17, Phil Frost <indigo at bitglue.com> wrote:
> On 2005-03-17, Zooko O'Whielacronx <zooko at zooko.com> wrote:
>> I just spent 5 minutes talking past my boss about unpulling a patch.  
>> He wanted to know, if I was unpulling the patch from the server, where 
>> was I unpulling it from?  I kept trying to explain that I was going to 
>> ssh into the server to do this operation.  Finally I realized why he 
>> was confused.  I said "The thing is, this operation shouldn't be named 
>> 'unpull'.  It should be named 'erase'.".  There was a couple of seconds 
>> of silence.  "Oh.", he said.
>> So please change the name and let all future programmers save 5 minutes 
>> of their time explaining to their co-workers that "unpull" doesn't 
>> involve two different repos the way "pull" does.
> +1 for a better name. "unpull" has nothing to do with pulling. It is
> also "unpush" or "unapply", because it really just discards patches.

Perhaps "discard", though I'm not convinced that'll be much better.

Aaron Denney

More information about the darcs-users mailing list