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:27:19 +0200
> 
> Eli Zaretskii <address@hidden> writes:
> 
> > OK, but what would you do instead, then, in the case where the commit
> > is on "staged", but not yet on master?
> 
> You fix staging.

Fix how?

This discussion is about the meaning of "rollback" for Git.  So what
I'm trying to figure out is whether there's some Git command other
than "revert" that the user who pushed a bad commit to "staged" should
perform to fix "staging".

If there's nothing to be done locally, then "revert" is still a good
interpretation of "rollback", even with the workflow you describe,
because in that workflow the user simply should not invoke any
rollbacks locally.