From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 20 Feb 2008 18:19:41 GMT
Subject: Re: Minor annoyance with git push
Message-ID: <7vskzn5w3m.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <20080220181513.GA16289@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

> Meaning you will take this patch? (And yes, I think the "+HEAD" patch
> you sent is a good fix, regardless of everything else we've talked
> about).

Yes I would, except that I think Daniel's is much better and is
to the point.  Doesn't it cover all the issues we discussed so
far?

> ... Once the behavior is configurable at all, we
> can see how people adopt it into their workflows and if there is really
> any desire for detection at all.

Yup.