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

Tomasz Zielonka tomasz.zielonka at gmail.com
Thu Mar 17 21:00:51 UTC 2005


On Thu, Mar 17, 2005 at 08:58:17PM +0000, Mark Stosberg wrote:
> 
> I agree that 'unpull' is confusing because it sounds like it involves
> two servers. This notion can give the false idea that since you are
> 'unpulling' a patch, it must continue to exist in another location 
> that it was 'pulled' from. (And therefore has a degree of safety).
> 
> In fact, you can delete a patch with unpull that never left your repo.
> 
> 'erase' is OK, but could be confused that it erases files rather than
> patches. That's probably fairly unlikely, since 'rm', 'remove' and
> 'delete' and more commonly associated with files.

How about 'unrecord --revert' ?

Tomasz




More information about the darcs-users mailing list