From: Matthieu Moy <matthieu.moy@grenoble-inp.fr>
Date: Tue, 25 Mar 2014 14:22:50 GMT
Subject: Re: Git push race condition?
Message-ID: <vpqmwgepdc5.fsf@anie.imag.fr>
In-Reply-To: <CAAyEjTOy-DyeU96_DWWydgcpb+x5DMRkf1NHBfn+eNZ-yDrZUw@mail.gmail.com>

(please, don't top-post on this list)

Scott Sandler <scott.m.sandler@gmail.com> writes:

> I'd like to see it happen again under these conditions and get that
> information, then enable receive.denyNonFastForwards explicitly just
> to be sure it's not force pushes, and see if it still happens.

To be really sure, you also have to set receive.denyDeletes to true.
Otherwise, a workaround to perform a non-fast forward is to delete the
branch, and re-create it somewhere else in history.

-- 
Matthieu Moy
http://www-verimag.imag.fr/~moy/