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