Re: [PATCH 0/4 v2] push.default upcomming change

Matthieu Moy [off-list ref] 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.