[darcs-users] Re: argh. please change the name "unpull"
mark at summersault.com
Thu Mar 17 22:10:46 UTC 2005
On 2005-03-17, Tuomo Valkonen <tuomov at iki.fi> wrote:
> On 2005-03-17, Phil Frost <indigo at bitglue.com> wrote:
>> +1 for a better name. "unpull" has nothing to do with pulling. It is
>> also "unpush" or "unapply", because it really just discards patches.
> "unapply" seems the logical choice. Push and pull do apply the patch
> last, don't they?
I hadn't thought of 'unapply'. I agree it's the best choice so far because of
it's symmetry with 'apply'.
More information about the darcs-users