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