Re: VC mode and git

[Stefan Monnier]

>   . using the script, the commit+push are not an atomic operation, so
>     the commit could succeed, but the following push could fail,
>     leaving your repository out of sync

That's true: we need to uncommit if the push fails.
BTW, we could/should make this case very rare by adding a pre-commit
hook which makes sure that we're up-to-date before we can commit.

>   . it will be hard (or even impossible) to do a local commit without
>     pushing, because the hook will always be run; you need the local
>     commit for when you merge and resolve conflicts and in other
>     situations

I don't see why Richard (or someone in his situation) would ever need to
do a local commit.


        Stefan