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

[Eli Zaretskii]

> Cc: address@hidden, address@hidden
> From: Dmitry Gutov <address@hidden>
> Date: Mon, 21 Sep 2015 17:02:19 +0300
> 
> On 09/21/2015 09:50 AM, Eli Zaretskii wrote:
> 
> > If the commit was already pushed, you will need "git revert" instead,
> > I think.
> 
> What does RCS do in this case?

There's no "push" in RCS.