Re: Git push race condition?
- From
Matthieu Moy <matthieu.moy@grenoble-inp.fr>
- Date
- Mar 25, 2014, 14:22 UTC
- 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/