On 15 October 2012 16:09, Ævar Arnfjörð Bjarmason <ava...@gmail.com> wrote:
> On Mon, Oct 15, 2012 at 11:14 AM, Angelo Borsotti
> <angelo.borso...@gmail.com> wrote:
> 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".
perl -Mre=debug -e "/just|another|perl|hacker/"
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html