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

Peter Hercek peter at syncad.com
Fri Mar 18 09:30:40 UTC 2005

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

More information about the darcs-users mailing list