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

[Dmitry Gutov]

On 09/21/2015 10:53 PM, Eli Zaretskii wrote:

> > Otherwise, 'git reset' and 'git revert' are roughly equivalent in this
> > regard. It's just that 'git push' will fail upon being called after the
> > former, in certain circumstances.
>
> The idea of the proposal, namely, call 'revert' when 'reset' followed
> by 'push' would fail, was to avoid the failure.

It could work as a fallback, yes, after we have the "unsafe" predicate 
implemented. The user would need to be warned in some very obvious way, 
though.