On 15 October 2012 16:09, Ævar Arnfjörð Bjarmason <avarab@xxxxxxxxx> wrote: > On Mon, Oct 15, 2012 at 11:14 AM, Angelo Borsotti > <angelo.borsotti@xxxxxxxxx> 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/" -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html