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

[Eli Zaretskii]

> From: David Kastrup <address@hidden>
> Cc: address@hidden,  address@hidden,  address@hidden
> Date: Mon, 21 Sep 2015 10:13:25 +0200
> 
> > Thanks, but would this mean that "git revert" for a commit pushed to
> > the "staging" branch would be wrong?  If so, can you explain why?
> 
> It depends on whether the commit has moved to master already.  If it
> has, revert is the only option.  If you noticed a mistake and want to
> stop the commit from reaching master, you have to act fast enough that
> the automated process will not make it progress into master.  If the
> commit has been stopped by the automated process, you definitely do not
> want to add a revert on top of it to staging and have the combined
> commit+revert reach master.

OK, but what would you do instead, then, in the case where the commit
is on "staged", but not yet on master?