Jeff King <p...@peff.net> writes:
> On Thu, Aug 16, 2012 at 04:05:22PM -0700, Junio C Hamano wrote:
>> Lars Winterfeld <lars.winterf...@tu-ilmenau.de> writes:
>> >> Hrm, has this ever been resolved?
>> > Thank you for asking.
>> > My local git version is 184.108.40.206, the server version that I actually
>> > ended up pushing the files to was however still some 1.6.x.
>> > So it was a false alarm. Sorry about that.
>> Not really. Pushing or fetching by a new version of Git against old
>> version of Git *should* work; otherwise it is a bug.
> Yes, but there may be old bugs in the server version that have since
> been fixed. For example, the bug fixed by 838cd346 might be the cause of
> this (that fix went into 220.127.116.11).
Yeah, Lars said 1.6.x above, but in the response it turns out the
version used is 18.104.22.168, so lack of that commit is a very likely
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html