From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 16 Oct 2012 19:09:53 GMT
Subject: Re: push race
Message-ID: <7vhapus072.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20121016172502.GC27243@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

> But still...the complexity is ugly, and we do not even have a measured
> problem in the real world. This is not worth thinking about. :)

Yup.