Re: push race
- From
- demerphq <demerphq@gmail.com>
- Date
- Oct 15, 2012, 14:13 UTC
- Message-ID
- <CANgJU+Vq7vnJh1NsZDh0mnTyHQba+oq3=MiwsWL5E5Wb0RiiAg@mail.gmail.com>
- In-Reply-To
- <CACBZZX5keWVDZ-rvQfHFChKRC1YwXcUvfiqzgeMjVTydnQCdmg@mail.gmail.com>
On 15 October 2012 16:09, Ævar Arnfjörð Bjarmason <avarab@gmail.com> wrote:
Show 13 quoted lines
> On Mon, Oct 15, 2012 at 11:14 AM, Angelo Borsotti > <angelo.borsotti@gmail.com> wrote: >> Hello, > > FWIW we have a lot of lemmings pushing to the same ref all the time at > $work, and while I've seen cases where: > > 1. Two clients try to push > 2. They both get the initial lock > 3. One of them fails to get the secondary lock (I think updating the ref) > > I've never seen cases where they clobber each other in #3 (and I would > have known from "dude, where's my commit that I just pushed" reports).
Except that the error message is really cryptic. It definitely doesnt shout out "maybe you collided with someone elses push".
Yves
-- perl -Mre=debug -e "/just|another|perl|hacker/"