From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 24 Mar 2014 22:44:20 GMT
Subject: Re: Git push race condition?
Message-ID: <xmqqob0vnrnf.fsf@gitster.dls.corp.google.com>
In-Reply-To: <vpqa9cf9rkv.fsf@anie.imag.fr>

Matthieu Moy <Matthieu.Moy@grenoble-inp.fr> writes:

> What you describe really looks like a force-push, or a hook doing a ref
> update (e.g. a hook on a dev branch that updates master if the code
> passes tests or so).

... or a filesystem that is broken.  But I thought this is just a
plain-vanilla ext4, nothing exotic, so....  Puzzled.