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

[Peter Hercek]

I'm with you man, keep going :-D

Thomas Zander wrote:
> On Friday 18 March 2005 00:14, Yuval Kogman wrote:
> 
>>I vote for 'forget' because it illustrates the lossyness of the
>>process. Once this repo forgets it, darcs can't help you find it,
>>unless you pull it in from somewhere.
> 
> 
> Also this suggestion forgets that the naming should first and foremost be 
> chosen on what the user would pick from the lineup of commands if already 
> has a faint idea of what to do.
> In the list of commands that Darcs knows 'forget' is not something I believe 
> has a high recognition value.
> Sounds more like an alias to 'darcs remove'.
> 
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> darcs-users mailing list
> darcs-users at darcs.net
> http://www.abridgegame.org/mailman/listinfo/darcs-users