Re: VC mode and git

[Eli Zaretskii]

> Date: Fri, 27 Mar 2015 09:25:54 -0400
> From: Richard Stallman <address@hidden>
> CC: address@hidden, address@hidden, address@hidden,
>       address@hidden, address@hidden
> 
>   > Maybe you should try something like:
> 
>   > git push || git reset HEAD^
> 
> What does  git reset HEAD^  do?

It uncommits the last commit, but leaves your changes in the working
tree, essentially returning you back to the situation before you
committed.

> Is it reliable?

It never failed me, although I needed to use it only rarely, when my
last commit had a mistake that I detected before pushing upstream.

But I'll defer to the experts for the definitive opinions about its
reliability.