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

Tommy Pettersson ptp at lysator.liu.se
Thu Mar 17 23:50:39 UTC 2005

On Thu, Mar 17, 2005 at 11:02:46PM +0000, Jamie Webb wrote:
> AOL, I think, as an improvement on unpull, but I do wonder if
> something more dramatic and scary sounding might be an idea, since you
> can lose data. Destroy; eradicate; annihilate... sounds corny, but
> quite unequivocal.

'Annihilate' will have too long prefix in common with
'annotate' (which probably also could be better named),
hmm... 'obliterate' won't.  :-)

Tommy Pettersson <ptp at lysator.liu.se>

More information about the darcs-users mailing list