From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 23 Apr 2012 02:50:16 GMT
Subject: Re: [PATCH 0/4 v2] push.default upcomming change
Message-ID: <xmqqzka3kvpz.fsf@junio.mtv.corp.google.com>
In-Reply-To: <vpqipgs81ru.fsf@bauges.imag.fr>

Matthieu Moy <Matthieu.Moy@grenoble-inp.fr> writes:

> Actually, I'm starting to think that the "warning" part should be
> delayed a bit: we probably want to wait for the "simple" implementation
> to be available widely before we start advising people to set it
> explicitely (otherwise, people using different Git versions on different
> machines, but sharing the same configuration will get complaints from
> Git about invalid value).

Yes, that is a good thinking.