[darcs-users] argh. please change the name "unpull"
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
> 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
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
More information about the darcs-users