From: Paolo Bonzini <bonzini@gnu.org>
Date: Wed, 14 May 2008 15:20:52 GMT
Subject: Re: [PATCH 2/7] add push line in git-clone
Message-ID: <482B0354.2060207@gnu.org>
In-Reply-To: <482018E4.9000908@gnu.org>

Paolo Bonzini wrote:
> 
>> Used together with [1/7], this change is Ok in a homogeneous environment,
>> but it would break people who use git of different vintage on the same
>> repository (think of a repository on a networked filesystem).  You clone
>> like this, and older git won't grok the push configuration anymore.
>>
>> It may look a very minor point, but I think it deserves mentioning.
> 
> I think it is reasonable to require cloning with the 
> least-common-denominator version in this case.  Think of what happened 
> if the pack format changed.

Any news on this (and on 1/7, which is in pu)?

Paolo