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

Mark Stosberg mark at summersault.com
Fri Mar 18 15:29:28 UTC 2005

On Fri, Mar 18, 2005 at 09:57:07AM +0100, Ketil Malde wrote:
> 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.

I think typically users don't manually 'apply' or 'unapply' much either.
Those who 'apply', have probably gotten a patch from a remote user, and
may want to 'unapply' it if they don't like it.


More information about the darcs-users mailing list