From: demerphq <demerphq@gmail.com>
Date: Mon, 15 Oct 2012 14:13:50 GMT
Subject: Re: push race
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:
> 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/"