Re: Minor annoyance with git push
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 20, 2008, 18:19 UTC
- 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.