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