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

Ketil Malde ketil.malde at bccs.uib.no
Fri Mar 18 08:57:07 UTC 2005

Mark Stosberg <mark at summersault.com> writes:

>> "unapply" seems the logical choice. Push and pull do apply the patch
>> last, don't they?

> I hadn't thought of 'unapply'. I agree it's the best choice so far
> because of it's symmetry with 'apply'.

I must admit that I don't like it much.  Mainly since it's not an
operation the user does a lot.  Working as an end user, I will mainly
add changes to my repo with 'pull' and 'record' -- and the
corresponding 'un-' operations are fairly logical.  IMHO.

If I haven't seen further, it is by standing in the footprints of giants

More information about the darcs-users mailing list