[Monotone-devel] Re: Undo a commit

[Bruce Stephens]

Lapo Luchini <address@hidden> writes:

> Bruce Stephens wrote:
>>>> Yup, it's because it's "monotonic" in nature you can only add, never 
>>>> remove.
>>>
>>> Does that have anything to do with why Monotone is called Monotone?
>> 
>> No, not really.
>> 
>> The original idea (IIRC) was that "monotone update" would always give
>> you a tree that was no worse than the one you had before.  So you'd
>> have a tree that was monotonically improving in some useful sense (or
>> at least non-decreasing in quality).
>
> Uh, really? 0_o
> I had thought for the past years that monotone meant just that…

Yes, I think it was about monotonically non-decreasing quality, not
about never removing stuff.