[darcs-users] Re: argh. please change the name "unpull"
zooko at zooko.com
Fri Mar 18 11:21:38 UTC 2005
People seem to have different workflow habits concerning "unpull". I
use it quite a lot, and only half the time, or less, for patches which
got here by being pulled.
More information about the darcs-users