Re: VC mode and git

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Date: Mon, 30 Mar 2015 16:37:48 -0400
> Cc: address@hidden, address@hidden, address@hidden,
>       address@hidden, address@hidden
> 
> > Then please write it up, and let's see it in action.
> 
> It was already provided:
> 
>     #!/bin/sh
>     git push || git reset --soft HEAD^

Are you sure this is all that's needed?  I have at least 2 potential
issues with it:

  . If the commit fails, will the hook run anyway?  (I cannot find any
    documentation on this.)

  . If the push fails and the hook runs "git reset", will the commit
    command exit with a non-zero status?  (I'm guessing not, but again
    found no documentation.)  If it exits with a zero status anyway,
    then "C-x v v" will not know the operation failed, would it?