[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: VC mode and git

From: Stefan Monnier
Subject: Re: VC mode and git
Date: Fri, 27 Mar 2015 08:59:41 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux)

>   . 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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]