[PATCH] histedit: delete to drop

[Mykola Nikishov]

Augie Fackler <raf at durin42.com> writes:

>>> While this feature seems too dangerous to me, 'dropmissing' sounds better.
>> 
>> It’s not as scary as it sounds - nowadays it’s easy to recover stripped commits.
>> I’m fine with both names for the config option. Augie: do you have any preference?
>
> It’s still not trivial for novice users to recover hidden commits -
> especially if obsolete is off. In any event, I think I like the
> ‘dropmissing' a little better than ‘deletetodrop’.

+1 from novice Mercurial user - hope someday I will learn how to recover
some lost histedits using 200+ backup files created by histedit ;-)