Re: RCS, again: another removed functionality: undo last-checkin

[Eli Zaretskii]

> From: "Stephen J. Turnbull" <address@hidden>
> Cc: Dmitry Gutov <address@hidden>,
>     address@hidden,
>     address@hidden
> Date: Tue, 22 Sep 2015 09:39:27 +0900
> 
>  > The idea of the proposal, namely, call 'revert' when 'reset' followed
>  > by 'push' would fail, was to avoid the failure.
> 
> Users prefer a "true" rollback for several reasons.

I prefer it, too.  But when the offending commit was already pushed,
'reset' is the only sane way.

> The probability the DWIM results in "Do What I Didn't Mean" here is
> way too high.  If you want to do "revert" but call it "rollback", go
> right ahead.  But don't do "reset" sometimes and "revert" in others.

I don't see why, but again, my steam for this argument is all but
used.