[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.
Stefan
- Re: VC mode and git, (continued)
- Re: VC mode and git, Andreas Schwab, 2015/03/26
- Re: VC mode and git, Tassilo Horn, 2015/03/26
- Re: VC mode and git, Eli Zaretskii, 2015/03/26
- Re: VC mode and git, Dmitry Gutov, 2015/03/26
- Re: VC mode and git, Eli Zaretskii, 2015/03/26
- Re: VC mode and git, Richard Stallman, 2015/03/27
- Re: VC mode and git, Eli Zaretskii, 2015/03/27
- Re: VC mode and git, Richard Stallman, 2015/03/28
- Re: VC mode and git, Richard Stallman, 2015/03/26
- Re: VC mode and git, Eli Zaretskii, 2015/03/27
- Re: VC mode and git,
Stefan Monnier <=
- Re: VC mode and git, Eli Zaretskii, 2015/03/27
- Re: VC mode and git, Stefan Monnier, 2015/03/27
- Re: VC mode and git, Eli Zaretskii, 2015/03/27
- Re: VC mode and git, Tak Kunihiro, 2015/03/27
- Re: VC mode and git, Stefan Monnier, 2015/03/27
- Re: VC mode and git, Richard Stallman, 2015/03/28
- Re: VC mode and git, Yann Hodique, 2015/03/26
- Re: VC mode and git, Yuri Khan, 2015/03/25
- Re: VC mode and git, Eli Zaretskii, 2015/03/25
- Re: VC mode and git, Steinar Bang, 2015/03/25