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

Jean Jordaan jean at upfrontsystems.co.za
Sun Mar 20 10:26:43 UTC 2005

> The problem with names like forget, remove, annihilate or delete is
> that they never tell you precisely what the command does.  They could
> apply almost equally well to unrecord or unpull, or even to rollback.

How about trying to be explicit then?

  darcs remove-patch
  darcs delete-patch


More information about the darcs-users mailing list