[darcs-users] Re: argh. please change the name "unpull"
mark at summersault.com
Thu Mar 17 22:11:15 UTC 2005
On Thu, Mar 17, 2005 at 11:56:51PM +0200, Yuval Kogman wrote:
> On Thu, Mar 17, 2005 at 20:58:17 +0000, Mark Stosberg wrote:
> > '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.
> What about something along the lines of 'forget'? As far as this
> repo is concerned, patch x never existed.
'forget' may be better than 'erase'. Erase sounds especially permanent
but if you 'forget' what you said in public, it doesn't mean that other
people will, too. :)
Thus, 'forget' be better at carrying with it in the concept that you
shouldn't do this after your patch is public.
More information about the darcs-users