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

Jean Jordaan jean at upfrontsystems.co.za
Fri Mar 18 11:18:24 UTC 2005

I'm with 'discard' or 'remove'. "Unapply" is not a word.
After you've applied a plaster to a scratch, you don't
unapply it, you remove it. A patch can get into your repo
by e.g. pulling *or* applying it. But when it's in, and you
want to get it out again, you don't need to perform the
original operation in reverse --- you just discard the

I even think it's fine if it overlaps:

darcs remove ./path/to/file # remove a file from your project
darcs remove --match patch  # undo a single patch

Jean Jordaan

More information about the darcs-users mailing list