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

Jeff King [off-list ref] writes:

The "Git 2.0" mention in patch 4/4 might need to be tweaked. :)

The "Git 2.0" comes from Junio. I don't mind changing that to "Git 1.9.0
or Git 2.0, whichever is released earlier".

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).

-- 
Matthieu Moy
http://www-verimag.imag.fr/~moy/