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

Zooko O'Whielacronx zooko at zooko.com
Thu Mar 17 21:11:10 UTC 2005


> Another option is to explain the reasoning behind the naming; it is to 
> undo
> the pulling.

This might persuade my boss that "unpull" is a good name, but it won't 
give me my five minutes back.  Also it would take up more of my 
minutes.  ;-)

Seriously, the name "unpull" wastes people's 5-minutes.  That's 
sufficient reason to change it, even if it is a good name once you've 
understood it.

--Z





More information about the darcs-users mailing list